Function model for libc

[Weiqi Wang]

Hi,

Please excuse me if this is a dumb question but I can't find a way to enable dynamic function models.

I would like to use dynamic function models described in the documentation (replace functions in libc using LD_PRELOAD) [1]. But s2e-config.lua only contains an example plugin config called StaticFunctionModels which is for replacing statically-linked functions in the binary.

Did I miss something? How can I configure function models for libc?

[1] http://s2e.systems/docs/Plugins/Linux/FunctionModels.html 

Best,

Weiqi

[Vitaly Chipounov]

Hi,

It should be enough to insert add_plugin("FunctionModels") in s2e-config.lua to enable them.

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/014357c6-511a-4301-96fd-1f60e28cfd63n%40googlegroups.com.

[Weiqi Wang]

Hi Vitaly,

Thanks! Works like a charm.

Best,

Weiqi