I want to mark a memory buffer as symbolic at a given point during execution. How do I do that? Also is it possible to mark some regions of code for concrete only execution? Like I don't want to do symbolic execution on libc etc.
I want to mark a memory buffer as symbolic at a given point during execution.
How do I do that?
Also is it possible to mark some regions of code for concrete only execution? Like I don't want to do symbolic execution on libc etc.