AV Akademikerverlag ( 04.04.2019 )
€ 39,90
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.
Buch Details: |
|
ISBN-13: |
978-620-2-22252-5 |
ISBN-10: |
6202222522 |
EAN: |
9786202222525 |
Buchsprache: |
English |
von (Autor): |
Nodar Ambroladze |
Seitenanzahl: |
52 |
Veröffentlicht am: |
04.04.2019 |
Kategorie: |
Informatik |