Security
hevm
EVM evaluator, debugger, symbolic execution engine, and equivalence checker for smart contract analysis.
EVM evaluator, debugger, symbolic execution engine, and equivalence checker for smart contract analysis.
hevm is useful for builders evaluating Security across Ethereum, Base, Polygon.