search

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
773 stars 135 forks source link

Failed to pipe the test input to afl-showmap #44

Open vanhauser-thc opened 3 years ago

vanhauser-thc commented 3 years ago

After building my own dockerfile and running on a target I constantly get:

[2021-01-24T11:35:15Z INFO  symcc_fuzzing_helper] Ignoring new test case /tmp/.tmpPBic7v/output/000011-optimistic because afl-showmap timed out on it
Error: Failed to check whether test case /tmp/.tmpPBic7v/output/000003-optimistic is interesting

Caused by:
    0: Failed to pipe the test input to afl-showmap
    1: Broken pipe (os error 32)

which results in terminating the exploration. and as it cant continue I have to wipe out/symcc, restart and it restarts from scratch ...

wouldn't it be better to just skip if this error comes up instead of terminating?

sebastianpoeplau commented 3 years ago

Interesting, I've never seen that error. Do you know why afl-showmap is failing? In our experiments, it was really stable.