Schnelle und skalierbare Analyse von Smart Contracts - Ambroladze, Nodar
39,90 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
0 °P sammeln
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
MSc. Informática, ETH Zurique.