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

symqemu can not run normally on program which call mmap to read file #30

Open
hackoflpf opened this issue Jul 25, 2023 · 2 comments
Open
Labels
enhancement New feature or request

Comments

@hackoflpf
Copy link

i wanto use symqemu to find new paths on freetype-demos ftbench program,but it can't run symbolic execution properly.I have set the environment variables correctly.I use /bin/cat to test,it runs normally.
image
However,when i use ftbench program,it doesn't run normally.
image
Finally,i try to debug the program,i find it can not call sym_make_symbolic function,because the ftbench program use mmap to read file.

@aurelf aurelf added the enhancement New feature or request label Feb 11, 2024
@aurelf
Copy link
Member

aurelf commented Feb 11, 2024

I guess that needs instrumentation.

@sebastianpoeplau
Copy link
Collaborator

Yes, we would need to intercept the mmap call and mark the target memory region as symbolic input bytes.

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

No branches or pull requests

3 participants