[klee-dev] make all the variables in the program as symbolic

[张若虚]

Dear All, 
My name is Eli and I just begin to use KLEE.
I can use KLEE intrinsic function klee_make_symbolic() to make a variable as a symbolic. I am wondering that can I make all the variables (local variables, global variables) in the programs as symbolic? Is there a KLEE option to achieve that?
Thank you :-)


Eli
-------------- next part --------------
HTML attachment scrubbed and removed