Schnelle und skalierbare Analyse von Smart Contracts

CHF 42.65
Auf Lager
SKU
3TRHKCM8H49
Stock 1 Verfügbar
Geliefert zwischen Mo., 02.03.2026 und Di., 03.03.2026

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

Bewertungen

Schreiben Sie eine Bewertung
Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.
Made with ♥ in Switzerland | ©2025 Avento by Gametime AG
Gametime AG | Hohlstrasse 216 | 8004 Zürich | Schweiz | UID: CHE-112.967.470
Kundenservice: customerservice@avento.shop | Tel: +41 44 248 38 38