Need help. Run benchmarks

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

781 stars 137 forks source link

Need help. Run benchmarks #98

Open liushengahn opened 2 years ago

liushengahn commented 2 years ago

I have now compiled the CBs with SymCC. For the POVs and POLLs provided by cb-multios I don't know how to use them, how should I provide them as input to CBs. How to modify the scripts they provide?