[klee-dev] KLEE as bitcode interpreter

[prashant chaturvedi]

Hi all.
 I have compiled a source file to bitcode without debug information, i'm
not using "any" of the KLEE's intrinsic, i.e i'm not making anything
symbolic, just obtained a vanilla bitcode. If i run that bitcode in KLEE,
does KLEE here work llike  a bitcode interpreter? (like lli).  Is it then
really then same as running it on lli?

Thank you in advance!
-------------- next part --------------
HTML attachment scrubbed and removed