Schnelle und skalierbare Analyse von Smart Contracts

Wir entwerfen und implementieren ein schnelles und skalierbares Fuzzing-Framework für Ethereum Smart Contracts. Es bietet eine Möglichkeit, benutzerdefinierte Eigenschaften in einem Vertrag zu kodieren, die automatisch überprüft werden. Der Fuzzer nimmt ein Truffle-Projekt als Eingabe, fuzzt Verträge und berichtet für jeden Vertrag die Abdeckung, Integer-Überläufe, Assertions, jede Verletzung von benutzerdefinierten Eigenschaften und Statistiken über fehlgeschlagene/erfolgreiche Transaktionen für jede Methode. Es ist konfigurierbar, um die Fuzzing-Strategie für einen bestimmten Bereich anzupassen. Wir berichten über Benchmarks, indem wir es in verschiedenen Umgebungen getestet haben, darunter über 30.000 reale Verträge, die auf der Hauptkette von Ethereum bereitgestellt wurden.