Rozšíření nástroje Woke

Abstract

Tato práce se zabývá implementací modulů do vznikajícího nástroje Woke určeného pro analýzu smart kontraktů na platformě Ethereum. V práci je detailně popsán Ethereum blockchain a programovací jazyk Solidity určený pro vývoj aplikací na tuto platformu. Dále je v práci analyzován nástroj Slither, který je, stejně jako nástroj Woke, napsaný v jazyce Python. Praktická část práce popisuje postup implementace jednotlivých modulů nástroje Woke a jejich testování.

This thesis deals with the implementation of modules in the emerging Woke tool for analyzing smart contracts on the Ethereum platform. The work describes in detail the Ethereum blockchain and the Solidity programming language for developing applications on this platform. Furthermore, the thesis analyses the Slither tool, which, like Woke, is written in Python. The practical part of the thesis describes the process of implementation of individual modules of the Woke tool and their testing.