search

eurecom-s3 / symqemu

SymQEMU: Compilation-based symbolic execution for binaries
http://www.s3.eurecom.fr/tools/symbolic_execution/symqemu.html
Other
323 stars 42 forks source link

Add a docker-compose file for development #61

Closed rmalmain closed 4 months ago

rmalmain commented 4 months ago

It's mainly to avoid recompiling everything when we modify a single file in the source code.