Detektory zranitelností Ethereum projektů

Abstract

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.