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

[hackoflpf]

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. However,when i use ftbench program,it doesn't run normally. 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]

I guess that needs instrumentation.

[sebastianpoeplau]

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