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