Hi,
You cannot run s2e.so outside of S2E because this library uses
custom x86 instructions to communicate with various plugins.
Running it outside of S2E would produce an illegal instruction
exception. It's not related to libc, s2e.so uses normal system
libraries. Sometimes it's indeed convenient to run s2e.so outside
of S2E, e.g., in order to debug something. In that case, I usually
comment out calls to s2e.h functions, but something better would
be welcome.
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/16194d3.4d6b.176091a96ef.Coremail.sandwich125%40126.com.
Hi,
1. I don't know what's causing the abort. Did you try to debug it with gdb?
2. s2e.so uses glibc like a normal program, not sure what the
problem is.
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/25b907a0.3a84.17617f9e8f7.Coremail.sandwich125%40126.com.