3 ms·
SymQEMU: Compilation-based symbolic execution for binaries
- rwmj 6y agoThe 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 https://en.wikipedia.org/wiki/Symbolic_execution
- lqqq 6y agoI just discovered SymCC and wanted to play with it this weekend. Any tips from hackers using symbolic execution + fuzzing technique to hunt security bugs? > on some benchmarks, it even achieves better performance than the source-based SymCC This is cool.