How do you specify a memory region (not input file) as symbolic

[sergeykostov]

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.