Static Analysis Tool for Gas Optimization in Smart Contracts

Abstract

Tato diplomová práce se zabývá návrhem a implementací nástroje pro statickou analýzu spotřeby plynu ve smart kontraktech napsaných v jazyce Solidity. Cílem je vytvořit nástroj, který v kódu automaticky odhalí vzory zbytečně zvyšující náklady na provádění kontraktu a upozorní na možné optimalizace. Na základě analýzy existujících řešení a běžných optimalizačních vzorů byl implementován soubor detektorů jako rozšíření nástroje Slither, jehož výsledky jsou prezentovány prostřednictvím webové aplikace. Uživatelské rozhraní aplikace bylo navrženo uživatelsky orientovaným postupem a ověřeno pomocí prototypování a uživatelského testování. Funkčnost detektorů byla ověřena na sadě reálných kontraktů a reálné úspory plynu empiricky změřeny.