Prohlížení Diplomové práce - 18106 dle předmětu "smart kontrakty"
Zobrazují se záznamy 1-1 z 1
-
Rozšíření nástroje Woke
; Vedoucí práce: Gattermayer Josef; Oponent práce: Kodýtek Filip
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-09)Cílem této práce je rozšířit open source nástroj Woke sloužící k analýze smart kontraktů v jazyce Solidity nasazených na Ethereu o sběr pokrytí kódu fuzz testy a nové statické detektory. Nejdříve je představen projekt ...