{"product_id":"fast-and-scalable-analysis-of-smart-contracts-fuzzing-framework-von-nodar-ambroladze","title":"Fast and scalable analysis of smart contracts","description":"\u003cp\u003eWe 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786202222525\"\u003e\u003ch3\u003eFuzzing framework\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9786202222525","offer_id":39464803139677,"sku":"9786202222525","price":39.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/353d7b62-097a-4135-8797-55275bd4eb42.jpg?v=1757483955","url":"https:\/\/shop.autorenwelt.de\/products\/fast-and-scalable-analysis-of-smart-contracts-fuzzing-framework-von-nodar-ambroladze","provider":"Autorenwelt Shop","version":"1.0","type":"link"}