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.