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

[xiaoqixue_1]

I think you could write a static analysis pass to find all the variables and then make them symbolic.
But, why do you make the local variables symbolic ?






At 2015-06-01 16:47:46, "张若虚" <zhangruoxu0830 at qq.com> wrote:



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