How could I configure to use glibc in memcpy function

8 views
Skip to first unread message

sandwich125

unread,
Dec 13, 2020, 1:51:34 AM12/13/20
to s2e...@googlegroups.com

I remeber s2e rewrite memcpy() function in s2e.so, so in defalut memcpy() could not call glibc, Now if I do not want memcpy() to call rewrite lib in s2e, I only want memcpy() to call glibc, How coud I configre?



 

Vitaly Chipounov

unread,
Dec 15, 2020, 4:40:27 AM12/15/20
to s2e...@googlegroups.com, sandwich125

This only happens if the FunctionModels plugin is enabled. Otherwise, s2e.so forwards the call to the original memcpy [2].

Vitaly

[1] http://s2e.systems/docs/Plugins/Linux/FunctionModels.html
[2] https://github.com/S2E/s2e/blob/master/guest/linux/function_models/models.c#L237

On 12/13/20 7:51 AM, sandwich125 wrote:

I remeber s2e rewrite memcpy() function in s2e.so, so in defalut memcpy() could not call glibc, Now if I do not want memcpy() to call rewrite lib in s2e, I only want memcpy() to call glibc, How coud I configre?



 

--
--
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/60600571.b67.1765ade5a16.Coremail.sandwich125%40126.com.
Reply all
Reply to author
Forward
0 new messages