• Anglický jazyk

Fast and scalable analysis of smart contracts

Autor: Nodar Ambroladze

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... Viac o knihe

Na objednávku

36.99 €

bežná cena: 41.10 €

O knihe

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.

  • Vydavateľstvo: AV Akademikerverlag
  • Rok vydania: 2019
  • Formát: Paperback
  • Rozmer: 220 x 150 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9786202222525

Generuje redakčný systém BUXUS CMS spoločnosti ui42.