News for hackers. Stuff that matters.

A comment on A Survey of Symbolic Execution Techniques (2018). Parent comment

Re:A Survey of Symbolic Execution Techniques (2018) by kolinko on Tuesday May 21, 2019 @11:37AM (#19971129)
That's roughly how I do it for Eveem.org (Ethereum VM decompiler) - what you see there is essentially an output from the symbolic execution trace.
[ Parent | on HN ]

There are no comments on this comment yet.