News for hackers. Stuff that matters.

A comment on SymQEMU: Compilation-based symbolic execution for binaries.

Re:SymQEMU: Compilation-based symbolic execution for binaries by rwmj on Wednesday January 20, 2021 @07:55AM (#25845842)
The Wikipedia explanation of Symbolic execution is a good starting point for people trying to unpack the rather dense project description.

https://en.wikipedia.org/wiki/Symbolic_execution

[ Parent | on HN ]

There are no comments on this comment yet.