Hi,
I have a running version of Klee with llvm-3.6, with the caveat that external
support and linking has been removed/disabled in it.
The below is a short overview from my current incomplete understanding of Klee
+ LLVM-3.6. Klee and LLVM developers on the list might have more information.
Hi List,
Currently most tests for Klee depend on an externally provided printf function.
Support for external functions has some side effects, among them:
- Memory usage is doubled for all non symbolic allocations.
- The bitcode being tested has to have the same data layout as the compiled