Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Schnelle und skalierbare Analyse von Smart Contracts
Details
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.
Autorentext
MSc. Informática, ETH Zurique.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786204503745
- Sprache Deutsch
- Größe H220mm x B150mm x T4mm
- Jahr 2022
- EAN 9786204503745
- Format Kartonierter Einband
- ISBN 978-620-4-50374-5
- Veröffentlichung 27.02.2022
- Titel Schnelle und skalierbare Analyse von Smart Contracts
- Autor Nodar Ambroladze
- Gewicht 96g
- Herausgeber Verlag Unser Wissen
- Anzahl Seiten 52
- Genre Informatik