[klee-dev] About the klee_make_symbolic

[Jonathan Neuschäfer]

On Mon, Mar 11, 2013 at 07:58:20PM +0800, 明白了 wrote:
> Hello:
>          I'm a Chinese sutdent.I want to learn something about your machine.I found that the function-klee_make_symbolic- is very important.Could you share your codes of this function with me. And  I want to know where exactly can I find your key code of this machine.
>          I will very very appreciate if you can reply my message.
>                                                                                                                           Thanks!

klee_make_symbolic is implemented in lib/Core/SpecialFunctionHandler.cpp,
starting around line 638, in the klee source code.

Thanks,
Jonathan Neuschäfer