SymQEMU: Compilation-based symbolic execution for binaries

Posted by Rochus on Wednesday January 20, 2021 @04:32AM
from the s3.eurecom.fr dept.

http://www.s3.eurecom.fr/tools/symbolic_execution/symqemu.html

( 2 comments | 23 points | on HN )

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 ]

Re:SymQEMU: Compilation-based symbolic execution for binaries by lqqq on Wednesday January 20, 2021 @11:15AM (#25848175)

I 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.

[ Parent | on HN ]