News for hackers. Stuff that matters.

A comment on Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts. Parent comment

Re:Manticore: A Symbolic Execution Framework for Binaries an... by xwvvvvwx on Saturday July 20, 2019 @06:34AM (#20485033)
How accurate is Manticores EVM implementation? Does it pass the EVM state tests [1]? How does it’s accuracy compare to KEVM? [2]?

[1]: https://github.com/ethereum/tests

[2]: https://jellopaper.org/

[ Parent | on HN ]
Re:Manticore: A Symbolic Execution Framework for Binaries an... by dguido on Monday July 22, 2019 @12:52AM (#20495409)
Manticore is tested extensively against real contracts from our clients, a database of purposefully challenging code samples and mutants we've developed, and the Ethereum VMTests, a version of the state tests you linked. It has found many real bugs in our client's code.
[ Parent | on HN ]