linux系统安装klee2+llvm9.0(亲测可用)

参考

在安装klee时，有很多坑，导致多次安装不成功，这次安装算比较成功的一次。耗时3.5h。
主要参考这篇完成安装，不过安装过程中有几步有点小错误或者注意的点，在此更正，仅做记录。

第二步安装llvm中

倒数第二个my改为mv

第三步安装求解器Z3

$ wget https://github.com/Z3Prover/z3/archive/z3-4.8.8.zip
$ unzip z3-4.8.8.zip
$ cd z3-4.8.8
$ mkdir build
$ cd build
$ cmake -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ ..
$ make -j4
$ make install

参考链接里没有安装Z3，导致在编译klee时，出现找不到z3的错误。

编译klee

在cmake里，path后边的路径改为自己相应文件的安装路径，下边是我的：

cmake -DENABLE_SOLVER_Z3=ON -DENABLE_POSIX_RUNTIME=ON -DENABLE_KLEE_UCLIBC=ON -DKLEE_UCLIBC_PATH=/klee/klee-uclibc -DLLVM_CONFIG_BINARY=/klee/llvm/build/bin/llvm-config -DLLVMCC=/klee/llvm/build/bin/clang -DLLVMCXX=/klee/llvm/build/bin/clang++ -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ 
..  //最后这个..必须有，这是安装klee到该文件。