ubuntu下klee安装方法

最新推荐文章于 2024-04-07 11:39:48 发布

happygogf

最新推荐文章于 2024-04-07 11:39:48 发布

阅读量4.8k

点赞数

分类专栏： linux/unix/ubuntu 文章标签： ubuntu klee 安装

linux/unix/ubuntu 专栏收录该内容

51 篇文章 0 订阅

订阅专栏

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

cd ~
sudo apt-get -y install g++ curl dejagnu subversion bison flex
mkdir work
cd work
wget http://llvm.org/releases/2.9/llvm-gcc-4.2-2.9-i686-linux.tgz
tar zxfv llvm-gcc-4.2-2.9-i686-linux.tgz
echo "export PATH=\$PATH:~/work/llvm-gcc-4.2-2.9-i686-linux/bin" >> ~/.bashrc
echo "export PATH=\$PATH:~/work/klee/Release+Asserts/bin" >> ~/.bashrc
echo "export C_INCLUDE_PATH=/usr/include/i386-linux-gnu" >> ~/.bashrc
source ~/.bashrc
curl -O http://llvm.org/releases/2.9/llvm-2.9.tgz
tar zxvf llvm-2.9.tgz
cd llvm-2.9
./configure --enable-optimized --enable-assertions
make -j $(grep -c processor /proc/cpuinfo)
cd ..
svn co -r 940 https://svn.code.sf.net/p/stp-fast-prover/code/trunk/stp stp
cd stp
./scripts/configure --with-prefix=/home/$(whoami)/work/stp_install --with-cryptominisat2
make  -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