KLEE: 某用symbolic execution的方法来产生能够遍历不同程序路径的test cases的工具，可以找到bug。
编译
如果编译KLEE的时候说：
Bytecode libraries require LLVM capable compiler but none is available ****
那就是说，你的LLVM在configure的时候，没找到llvm-gcc。 基本上这是因为你没在编LLVM之前装llvm-gcc，或者装完了没加到path里去。 其实不加到path也可以，给configure加个参数，configure就不用自己到path里找llvm-gcc了。 加完了重新configure一下llvm，再编译安装就可以了。
