Yes, without any symbolic input, KLEE essentially functions like an
interpreter for LLVM bitcode.
Best,
Cristian
On 19/03/2021 11:49, prashant chaturvedi wrote:
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
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