Fuzzing with AFL and Symcc does not work

[jiliguluss]

The source code file is int_check.c.
I build the afl target and symcc target with commands:

afl-clang -O0 int_check.c -o afl-target
symcc -O0 int_check.c -o symcc-target

First I run afl process, and then I run symcc process:

afl-fuzz -S fuzz2 -i corpus/ -o out -m none -- ./afl-target @@
~/.cargo/bin/symcc_fuzzing_helper -o out -a fuzz2 -n symcc -- ./symcc-target @@

However, symcc can't generate any test case:

[iamsh4shank]

Hey @jiliguluss could you tell me how did you build SymCC, did you get some error related to Z3?

[sebastianpoeplau]

In addition to what @iamsh4shank said, it would also be good to see the output of symcc-target outside the afl run, i.e., just ./symcc-target some-dummy-input.