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

the file where you integrate Symbolic execution #18

Open KA2010 opened 2 years ago

KA2010 commented 2 years ago

Hi, Could you please let me know in which file/files you integrate symbolic execution?

sebastianpoeplau commented 1 year ago

Hi! Do you mean which source files were modified from upstream QEMU? We based our work on upstream commit https://github.com/eurecom-s3/symqemu/commit/99c5874a9b6c9f70aef285d6eff85d4f46de3c52, so you can see all our changes here: https://github.com/eurecom-s3/symqemu/compare/99c5874a9b6c9f70aef285d6eff85d4f46de3c52..master. Apparently, we modified or created 27 files.