News for hackers. Stuff that matters.

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

Re:Manticore: A Symbolic Execution Framework for Binaries an... by RichardHeart on Saturday July 20, 2019 @09:02AM (#20485491)
I'm in need of an audit for HEX.win if any of the super smart folks here want to reach out. RichardHeartAuthor at gmail dot come.
[ Parent | on HN ]

There are no comments on this comment yet.