Re: [klee-dev] KLEE as bitcode interpreter

2021-03-31 Thread Cristian Cadar 
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 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!

___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev



___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[klee-dev] KLEE as bitcode interpreter

2021-03-19 Thread 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!
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev