hevm
Debug, fuzz, or symbolically execute local code or mainnet state with a testing-oriented EVM.
Debug, fuzz, or symbolically execute local code or mainnet state with a testing-oriented EVM.
The hevm project is an EVM debugger and symbolic execution engine developed by DappHub. Built specifically for symbolic execution, unit testing, and debugging of smart contracts,the hevm command line program houses the capability to symbolically execute and debug smart contracts interactively while performing unit tests and other vulnerability assessments. As an implementation of the EVM, hevm serves as the execution engine for tool suites like dapp and smart contract fuzzers like Echidna.
Sign up for a free Alchemy Account
Discover more web3 applications and developer tools.
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.