參考klee官網主頁
首先安裝llvm-gcc,官網上說klee運用的系統及cpu最好是linux x86-64,而我的筆記本是i686(即x86-32)的,所以不是最好的,官網介紹說「might break on x86-32」.
下面是參考的一篇別人的部落格:
cd ~sudo apt-get -y install g++ curl dejagnu subversion bison flex
mkdir work
cd work
wget
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
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 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
cd ..
svn co klee
cd klee
./configure --with-llvm=/home/$(whoami)/work/llvm-2.9 --with-stp=/home/$(whoami)/work/stp_install
make -j $(grep -c processor /proc/cpuinfo) enable_optimized=1
make unittests
符號執行工具KLEE安裝
按照官方安裝文件build klee with llvm3.4來就行 2.1 bashrc檔案在 bashrc直接gedit bashrc便可編輯 2.2 第4部build uclibc and the posix environment model還是選擇裝上吧,做點實際的測試還是用得上的,能夠用...
ubuntu下安裝軟體方法
linux系統中,軟體通常以源 或者預編譯包的形式提供。1 軟體源 需要編譯為二進位制的機器 才能夠使用,安裝比較耗時,不過您可以自行調節編譯選項,決定需要的功能或元件,或者針對硬體平台作一些優化。2 預編譯的軟體包,通常是由軟體的發布者進行編譯,您只要將軟體拷貝到系統中就可以 了。考慮到預編譯軟體...
ubuntu下安裝mysql方法
sudo apt get install libaio1sudo apt get install mysql server sudo apt get install mysql client sudo apt get install php5 mysql 安裝php5 mysql是將php和mysq...