ubuntu下klee安装方法

原文地址：http://thread.gmane.org/gmane.comp.compilers.llvm.klee/923

cd ~sudo apt-get -y install g++ curl dejagnu subversion bison flexmkdir workcd workwget http://llvm.org/releases/2.9/llvm-gcc-4.2-2.9-i686-linux.tgztar zxfv llvm-gcc-4.2-2.9-i686-linux.tgzecho "export PATH=\$PATH:~/work/llvm-gcc-4.2-2.9-i686-linux/bin" >> ~/.bashrcecho "export PATH=\$PATH:~/work/klee/Release+Asserts/bin" >> ~/.bashrcecho "export C_INCLUDE_PATH=/usr/include/i386-linux-gnu" >> ~/.bashrcsource ~/.bashrccurl -O http://llvm.org/releases/2.9/llvm-2.9.tgztar zxvf llvm-2.9.tgzcd llvm-2.9./configure --enable-optimized --enable-assertionsmake -j $(grep -c processor /proc/cpuinfo)cd ..svn co -r 940 https://svn.code.sf.net/p/stp-fast-prover/code/trunk/stp stpcd stp./scripts/configure --with-prefix=/home/$(whoami)/work/stp_install --with-cryptominisat2make  -j $(grep -c processor /proc/cpuinfo) OPTIMIZE=-O2 CFLAGS_M32= install

(Optional) Build uclibc and the POSIX environment model: By default, KLEE works on closed programs (programs that don’t use any external code such as C library functions). However, if you want to use KLEE to run real programs you will want to enable the KLEE POSIX runtime, which is built on top of the uClibc C library.
$ git clone https://github.com/klee/klee-uclibc.git$ cd klee-uclibc$ ./configure --make-llvm-lib$ make -j2
NOTE: If you are on a different target (i.e., not i386 or x64), you will need to run make config and select the correct target. The defaults for the other uClibc configuration variables should be fine.
cd ..svn co http://llvm.org/svn/llvm-project/klee/trunk kleecd klee./configure --with-llvm=/home/$(whoami)/work/llvm-2.9 --with-stp=/home/$(whoami)/work/stp_installmake -j $(grep -c processor /proc/cpuinfo) ENABLE_OPTIMIZED=1make unittests