ubuntu下安裝KLEE方法

2021-06-25 16:37:41 字數 1269 閱讀 3727

參考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...