Static analysis of Ethereum smart contracts

Abstract

Ovaj rad nadograđuje alat za statičku analizu pametnih ugovora, Slither, sa novim detektorom za ranjivost zvanu umetanje ispred (eng. front running). Rad opisuje provedeno istraživanje potrebno za stvaranje početne hipoteze o načinu kojim će se moći detektirati umetanje ispred. Koraci implementacije novog detektora su dani zajedno sa poglavljem o provedenim eksperimentima i njihovim rezultatima. Implementirano rješenje ima određene mane, za koje postoji poglavlje u kojemu se diskutira o tome što se i kako može unaprijediti da bi se ostvarilo bolje rješenje.