wllvm使用及注意事项

export LLVM_COMPILER=llvm-gcc

export LLVM_GCC_PREFIX=

export LLVM_COMPILER_PATH='path to llvm-2.9/Release+Asserts/bin/' /******这里不能填llvm-gcc的路径，不然在extract-bc的时候会出错：No such file or directory ***********/

然后是添加wllvm的路径到$PATH.

如果出现/usr/bin/ld: cannot find crt1.o: No such file or directory错误，需要添加export LIBRARY_PATH=/usr/lib/x86_64-linux-gnu:/usr/lib32:$LIBRARY_PATH。就可以通过编译

在14.04中，klee可以使用llvm-3.4，这时候编译器是clang，在编译llvm-3.4的时候，需要先将clang的源码下载到llvm-3.4/tools这个目录中，然后在编译，在编译的时候，InitHeaderSearch.cpp文件可能会出错，提示是找不到头文件clang/Config/config.h，这个头文件的位置在clang/include/clang/Config/config.h中，解决办法是讲clang/include这个路径包含到include路径中，命令如下：

export C_INCLUDE_PATH=$C_INCLUDE_PATH:/home/test/soft/llvm/llvm-3.4/tools/clang/include

export CPLUS_INCLUDE_PATH=$CPLUS_INCLUDE_PATH:/home/test/soft/llvm/llvm-3.4/tools/clang/include/

这两条命令，一条是添加c的include，一条是添加c++的include，这里本来添加一个就可以了的，但是没有详细分析，所以两个都添加了。

这个时候，使用wllvm的命令也 有不同了：

export LLVM_COMPILER=clang

CC=wllvm ./configure

make

extract-bc pngtest

这些命令在1.6.20中测试通过。