Experience the power of a testing-oriented EVM that allows you to debug, fuzz, or symbolically execute local code or mainnet state. Unleash your potential to thoroughly test and analyze your projects with ease.
The hevm project, created by DappHub, is an advanced EVM debugger and symbolic execution engine. It is designed specifically for the purpose of symbolically executing, unit testing, and debugging smart contracts. With its command line program, hevm offers an interactive environment for executing and debugging smart contracts symbolically, while also facilitating unit tests and vulnerability assessments.
hevm serves as the underlying execution engine for various tool suites such as dapp and smart contract fuzzers like Echidna, making it an essential component in the development and testing of Ethereum Virtual Machine (EVM) based projects.
Fuzzing Tools
Etheno stands as a comprehensive tool designed specifically for Ethereum, offering a wide range of features for security analysis and testing.
Fuzzing Tools
Tayt is an innovative Python-based smart contract fuzzer designed specifically for Starknet (Cairo).
Fuzzing Tools
Echidna, a cutting-edge tool for Ethereum Smart Contracts, combines the power of fuzzing and property-based testing.
The most powerful web3 developer products and tools with resources, community and legendary support.