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ć <ma...@cs.utah.edu> . 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