eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Need help. Run benchmarks

liushengahn opened this issue · comments

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?