search

angr / tracer

Utilities for generating dynamic traces
BSD 2-Clause "Simplified" License
88 stars 28 forks source link

How to use a file as input instead of stdin #59

Closed 1wc closed 2 years ago

1wc commented 6 years ago

Hello, I want to use tracer on an elf, and its input arguments look like [‘./binary’,’./input’]. As you can see, it use a file as input instead of stdin. How can I fix this question? Thinks!

rhelmot commented 6 years ago

There is not a convenient interface for it because tracer was designed for CGC binaries, which don't have files. On the angr side, the preconstrainer/state-constructor does support constraining/specifying arbitrary files, it's just not accessible from here, and we don't really have the manpower to add it. Either use the tracer exploration technique manually or tweak the interface here and submit a pull request.

github-actions[bot] commented 2 years ago

This issue has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.

github-actions[bot] commented 2 years ago

This issue has been closed due to inactivity.