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 tosymbolically execute and debug smart contracts interactively while performingunit tests and other vulnerability assessments.As an implementation of the EVM, hevm serves as the execution engine for toolsuites like dapp and smart contract fuzzers like Echidna.