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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
