shellphish/driller

Driller fails to generate new inputs

Opened this issue · 2 comments

As described in the title, driller fails to generate the new inputs for the following toy program (please remove .txt from all files, hello.txt is the binary). If you compile hello.c inside mechaphish container, driller does generate new inputs.

gcc version is gcc (Ubuntu 6.3.0-12ubuntu2) 6.3.0 20170406

drill.py.txt
hello.c.txt
hello.txt

@zardus No, analysis is always inside the container. In summary:

  • compile program inside container, run analysis inside --> successful generation of new inputs (not sure about their correctness)
  • compile program outside of container, run analysis inside --> no inputs generated