[klee-dev] KLEE usage compiler dependent ?

[Jonathan Neuschäfer]

On Wed, Jan 02, 2013 at 07:25:22PM +0530, Jyoti wrote:
> Hello Klee developers,
> We are aiming to use KLEE to generate test cases for GCC compiled programs
> automatically. It is understood from the tutorials that the target programs
> must be compiled with llvm-gcc as KLEE operates on bitcode files.
> Is it possible to use KLEE on GCC compiled target programs for automatic
> test case generation ? How about it's usage for TC generation for clang
> compiled bitcode files? Is KLEE strictly llvm-gcc compiler dependent ?
> 
> Thanks in advance.

AFAIK Klee should work with (almost) any bitcode that has been produced
with a recent enough version of LLVM. So it should work with clang, too.

For analyzing programs already compiled to machine code, you'd basically
need a program that turns machine code back into LLVM bitcode. I don't
know whether a production-quality program to do that exists, but libcpu
(http://libcpu.org) might evolve into one.

HTH,
Jonathan Neuschäfer