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.
Improve Web3 Security with Alchemy's Simulation APIs
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.