Hi,
This is a bug in S2E. Could you please run s2e export_project and
attach the archive so that I can reproduce it?
Thanks,
Vitaly
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/98f1520e-27ce-4c97-8e33-a31b4031b077n%40googlegroups.com.
Hi,
After looking at your screenshot, it looks like the problem is
with the address here [1].
mmap() in the guest failed and the kernel returned a negative
value instead of the address.
You could wrap the line in a check. If it solves the problem,
please send a pull request.
Vitaly
--
--
You received this message because you are a member of the S2E Developer Forum.
To post to this group, send email to s2e...@googlegroups.com
To unsubscribe from this group, send email to s2e-dev+u...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/s2e-dev
---
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/79e8da66-f6c4-4417-aa52-8f1dd111f4ean%40googlegroups.com.