Symbolic tracing - Githubissues

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

GNU General Public License v3.0

771 stars 137 forks source link

Open damienmaier opened 4 months ago

damienmaier commented 4 months ago

The goal of this PR is to add the tracing feature described in section 5.3 here

damienmaier commented 4 months ago

I still have to wok on it before it is ready. What I plan to do if ok for you is :

Fix the coding style
Put all code added by this PR inside some #ifdef such that it is compiled only if a flag is set when running cmake
Make the tracing file being put in the same folder as the normal symcc output