Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Driller fails to generate new inputs #53

Open
qsphan opened this issue Dec 5, 2017 · 2 comments
Open

Driller fails to generate new inputs #53

qsphan opened this issue Dec 5, 2017 · 2 comments

Comments

@qsphan
Copy link

qsphan commented Dec 5, 2017

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
Copy link
Member

zardus commented Dec 5, 2017 via email

@qsphan
Copy link
Author

qsphan commented Dec 5, 2017

@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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants