[klee-dev] KLEE usage compiler dependent ?

[Jyoti]

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.
-------------- next part --------------
HTML attachment scrubbed and removed