[klee-dev] How can I get KLEE to generate constraints from within function calls

[Sumit Kumar]

Hi,

My test program is this: I declare 'x' as symbolic and then pass the
address / value of x as argument to function foo like foo(x) or foo(&x).
Inside the function foo no variables have been explicitly made symbolic.
Now when I run KLEE I do not see any constraints generated from foo. How
can I get KLEE to generate constraints from within function calls. I am
using KLEE with llvm2.9.

--
Thanks and Regards
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed