Symbolic and concrete EVM execution engineargotorg/hevm on GitHub
17 items match, 7 of them low signal.
Added. When a staticcall is made to a contract that does not exist, we overapproximate · and return symbolic values More simplification rules for Props · JoinBytes simplification rule · New simplification rule to help deal with abi.encodeWithSelector · More si…hevm release notes
This is a major breaking release that removes several user facing features and includes non trivial breakage for library users. These changes mean the code is significantly simpler, more performant, and allow support for new features like fully symbolic addres…hevm release notes
Everything here already leads the page above.