Andere Kunden interessierten sich auch für
![Schnelle und skalierbare Analyse von Smart Contracts]( "Schnelle und skalierbare Analyse von Smart Contracts")
Schnelle und skalierbare Analyse von Smart Contracts39,90 €![Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte]( "Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte")
Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte47,95 €![Smart Contracts als Webservice]( "Smart Contracts als Webservice")
Smart Contracts als Webservice39,90 €![Online Film Production in China Using Blockchain and Smart Contracts]( "Online Film Production in China Using Blockchain and Smart Contracts")
Online Film Production in China Using Blockchain and Smart Contracts117,99 €![Assessment of Data Integrity Risks in Public Blockchain Systems]( "Assessment of Data Integrity Risks in Public Blockchain Systems")
Assessment of Data Integrity Risks in Public Blockchain Systems47,95 €![Blockchain-basierte Smart Contracts]( "Blockchain-basierte Smart Contracts")
Blockchain-basierte Smart Contracts17,95 €![Building Games with Ethereum Smart Contracts]( "Building Games with Ethereum Smart Contracts")
Building Games with Ethereum Smart Contracts55,99 €
We design and implement a fast and scalable fuzzing framework for Ethereum smart contracts. It provides a way to encode custom properties into a contract that will automatically be checked. The fuzzer takes a truffle project as input, fuzzes contracts and for each contract it reports coverage, integer overflows, assertions, any violation of custom properties and statistics about failed/succeeded transactions for each method. It is configurable to adjust the fuzzing strategy for a specific domain. We report benchmarks by testing it in several settings including over 30k real-world contracts deployed on the main chain of Ethereum.