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