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 prateek_mir on Saturday July 20, 2019 @09:51AM (#20485733)
Pardon me if I sound dumb, but going by the abstract, this is essentially concolic analysis of smart contracts ?
[ Parent | on HN ]

There are no comments on this comment yet.