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

[Marko Dimjašević]

On Tue, 2016-07-05 at 13:38 +0000, 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ć <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160705/d932589d/attachment.sig>