[klee-dev] How to compile c/c++ project to a unique LLVM IR bitcode?

[meng qingkun]

Hi KLEE developers,


I have tested the coreutils, but I have a confusion. How to compile a c/c++ project to an unique LLVM bitcode fed to KLEE? For example, given an autotooled project like ffmpeg, how compile the source code to LLVM bitcode to be tested by klee?


Thanks,

Qingkun Meng
-------------- next part --------------
HTML attachment scrubbed and removed