SymQEMU: Compilation-based symbolic execution for binaries(s3.eurecom.fr)

s3.eurecom.fr

SymQEMU: Compilation-based symbolic execution for binaries

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

2 comments

lqqq5 lat temu

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.

rwmj5 lat temu

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