hevm

hevm is an EVM debugger and symbolic execution engine developed by DappHub.

It is designed for symbolic execution, unit testing, and debugging of smart contracts.

The hevm command line tool enables interactive symbolic execution and debugging of contracts while running unit tests and assessing vulnerabilities.