Hybrid fuzzing with simple backend

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

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

GNU General Public License v3.0

771 stars 137 forks source link

Hybrid fuzzing with simple backend #30

Open wuruoyu opened 3 years ago

wuruoyu commented 3 years ago

Hi,

Currently, the simple backend does not support hybrid fuzzing, simply because it does not generate the output file. I am wondering if this feature (i.e. simple backend for hybrid fuzzing) will be supported in the near future or not. (I may want to build it myself if the answer is no). Thank you in advance!

Respectfully, Ruoyu

sebastianpoeplau commented 3 years ago

Hi @wuruoyu,

I'm not planning to extend the simple backend at the moment, it's really more of a debugging aid than a real backend for me due to the lack of optimizations. But feel free to extend it if it fits your needs, and if you're willing to contribute your extension I'll be happy to merge it :)

Cheers, Seb