Make symbolic value

29 views
Skip to first unread message

sob...@gmail.com

unread,
Dec 23, 2020, 2:20:52 PM12/23/20
to S2E Developer Forum

Hello.
I repeat the work: https://adrianherrera.github.io/post/malware-s2e/
I want to make symbolic data in an S2E plugin.
For this i use LibraryCallMonitor plugin (I'm modifying it).

What is the right approach in order to make symbolic data?

I plan to use the method
createSymbolicValue().
Any other options ?

LibraryCallMonitor.cpp
z8aP-Fu1X7E.jpeg

Vitaly Chipounov

unread,
Dec 23, 2020, 3:05:52 PM12/23/20
to s2e...@googlegroups.com, sob...@gmail.com

Hi,

S2EExecutionState::createSymbolicValue() is the proper way to do it.
Once you have the value, write it to memory using  state->mem()->write(...).

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/f9759ed4-cea2-47b7-8319-d97a3aa4323dn%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages