Analisi veloce e scalabile dei contratti intelligenti

Progettiamo e implementiamo un framework di fuzzing veloce e scalabile per i contratti intelligenti di Ethereum. Fornisce un modo per codificare proprietà personalizzate in un contratto che sarà automaticamente controllato. Il fuzzer prende un progetto truffle come input, fa il fuzzing dei contratti e per ogni contratto riporta la copertura, gli integer overflow, le asserzioni, qualsiasi violazione delle proprietà personalizzate e le statistiche sulle transazioni fallite/successive per ogni metodo. È configurabile per regolare la strategia di fuzzing per un dominio specifico. Riportiamo i benchmark testandolo in diverse impostazioni tra cui oltre 30k contratti del mondo reale distribuiti sulla catena principale di Ethereum.