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

Recommended workflow for afl and symcc combination

DavidKorczynski opened this issue · comments

Hi,

I am curious about the workflow recommended for combining symcc and afl. In the documentation it is suggested to use a master + a secondary afl in combination with SymCC. Is there are reason for having two AFLs rather than one? It says in the documentation (

It is possible to run SymCC with only an AFL master or only a secondary AFL
) "It is possible to run SymCC with only an AFL master or only a secondary AFLinstance; see the AFL docs for the implications." Could you elaborate on this?

Cross-referencing:

Sorry, for the late reply - see google/fuzzbench#1166 (comment).