Statička analiza pametnih ugovora na platformi Ethereum

diplomski rad

• Naslov (engleski): Static analysis of Ethereum smart contracts
• Autor: Blaž Bagić
• Mentor: Ante Đerek (mentor)
• Član povjerenstva: Ante Đerek (predsjednik povjerenstva)
• Član povjerenstva: Stjepan Groš (član povjerenstva)
• Član povjerenstva: Marin Golub (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2020-07-14, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo

Sažetak

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.

Sažetak (engleski)

This paper extends a static analysis framework, Slither, with a new detector that detects the front running vulnerability. It describes the research made to be able to create the hypothesis on how to detect front running. The implementation steps of the new detector are presented along with a chapter on the experiments taken and its results.
The solution created has certain flaws that are acknowledged and future steps that should be taken to create a better solution are discussed.

• Ključne riječi: Ethereum; lanac blokova; pametni ugovor; ranjivosti; ovisnost o poretku transakcija; umetanje ispred; CFG; posredna reprezentacija
• Ključne riječi (engleski): Ethereum; blockchain; smart contract; vulnerability; front running; race conditions; transaction ordering dependence; CFG; intermediate representation
• Jezik: engleski
• URN:NBN: urn:nbn:hr:168:109096
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2023-01-13 09:42:11