Detektory zranitelností Ethereum projektů
Ethereum vulnerability detectors
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Dmytro Khimchenko
Vedoucí práce
Gattermayer Josef
Oponent práce
Kodýtek Filip
Studijní obor
Informační bezpečnost 2021Studijní program
InformatikaInstituce přidělující hodnost
katedra informační bezpečnostiPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
V současné době je nesmírně populární technologie zvaná blockchain. Tato technologie má mnoho případů využití, ale jedním z nich je umožnit lidem vyvíjet aplikace a nasadit je do nového prostředí, kterému se říká blockchain, a využívat jeho vlastností, jako je transparentnost kódu a decentralizovaný způsob ukládání kodu. Navzdory výhodám, které blockchain nabízí, může dojít k problémům kvůli nezabezpečené logice applikace. Cílem této bakalářské práce je zlepšit bezpečnost programů nasazených na blockchain tím, že ji bez jakékoliv interakce s aplikací ověřit na zranitelnosti pomocí nástroje statické analýzy, který poskytuje framework Wake. Nowadays, there is a tremendous popularity of technology called blockchain. This technology has many usage cases, but one of them is allowing people to develop applications and deploy them to the new environment, called blockchain, and benefit from its features like code transparency and a decentralized way of storing the code. Despite the advantages that blockchain offers, many issues can occur because of insecure logic in the code. The thesis aims to improve the security of on-chain deployed programs by scanning them for vulnerabilities using a static analysis tool provided by the Wake framework without interacting with an application.