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

2016-07-05 Thread 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
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

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

2016-07-05 Thread Marko Dimjašević 
On Tue, 2016-07-05 at 13:38 +, meng qingkun wrote:
> 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?

You can try with the Whole Program LLVM tool:

https://github.com/travitch/whole-program-llvm


-- 
Regards,
Marko Dimjašević  .   University of Utah
https://dimjasevic.net/marko . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org


signature.asc
Description: This is a digitally signed message part
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev