Detektory zranitelností Ethereum projektů

Abstract

Tato diplomová práce se věnuje analyzačnímu nástroji Wake, jeho architektuře a rozšíření o nové detektory zranitelností smart kontraktů v síti Ethereum. Práce obsahuje analýzu vybraných zranitelností a jejich bezpečnostních dopadů v prostředí blockchainu. Dále je podrobně popsán návrh a implementace jednotlivých detektorů, které tyto zranitelnosti ve smart kontraktech automaticky identifikují. Práce také popisuje testování těchto detektorů na sadě vlastních i produkčních smart kontraktů.This thesis focuses on the Wake analysis framework, describing its architecture and extending it with new detectors for smart contracts on the Ethereum network. The work provides an analysis of selected vulnerabilities and their security implications in blockchain environments. Furthermore, the thesis presents a detailed overview of the design and implementation of specialized detectors that automatically identify these vulnerabilities in smart contracts, and describes the testing of these detectors on a set of custom and production smart contracts.