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

Error while running symcc_help_fuzzer

opened this issue · comments

Hi,
I ran afl-fuzz master and secondary instances. Both afl-fuzz and afl-showmap is in PATH. But while ruuning command /.cargo/bin/symcc_fuzzing_helper -o afl_out -a afl-secondary -n symcc -- ../symcc_build/tcpdump/tcpdump -e -r @@. I am geeting error as attached in the screenshot. Any help would be appreciated. Thanks!!

image

Hi,
I was able to make it work with a different source though the issue is persisting with tcpdump. Btw, for the different source code that I am trying, I am getting symcc_fuzzing_helper as in screenshot attached, after that it's not giving anything. Any idea what's wrong going inside? Any help would be appreciated. Thanks!!
image