Ubuntu14 04下Loopus工具編譯安裝

2021-09-13 02:14:59 字數 1658 閱讀 2102

本文主要討論loopus工具在ubuntu14.04（64位）系統中的編譯安裝。

主要參考資料夾loopussource中的install文件。

mv cfe-*** llvm-3.5.1.src/tools/clang


mv compiler-rt*** llvm-3.5.1.src/projects/compiler-rt


mv clang-*** llvm-3.5.1.src/tools/clang/tools/extra
3.編譯，在llvm-3.5.1.src同級目錄中執行

mkdir build-3.5.1


cd build-3.5.1


../llvm-3.5.1.src/configure --enable-optimized --disable-assertions --enable-targets=host-only (optional --prefix=...) 此處需要sudo 安裝g++


make -j4 requires_rtti=1


sudo make install
-j4使用四核編譯，加快編譯速度，可根據實際核心數改變量值可參考：

2.解壓後在z3資料夾中執行：

autoconf			此處需要sudo安裝autoconf


./configure


python scripts/mk_make.py


cd build


make -j4


sudo make install
之後會用到libz3.so所在路徑

當前兩步順利時，這一步的亦自然過渡。

1.解壓檔案，在檔案中執行如下命令：

autoconf/autoregen.sh			第乙個path：***/llvm-3.5.1.src 第二個路徑：***/build-3.5.1


./configure --with-z3-lib-path=/path/to/z3/lib(上面提到的libz3.so所在資料夾路徑) --enable-managez3memory --enable-releaseversion


make -j4


sudo make install
path中***是全部路徑，根據實際情況填寫，不能省略。

到這裡，loopus就已經在系統中建立起來了。

對乙個c程式：

編譯

clang -g -emit-llvm -c file.c
得到乙個file.bc檔案

loopus分析

loopus file.c.bc
可選引數用 loopus --help 檢視。

示例

#include int main()


return 0;


}
對上述c程式,運用loopus工具，其結果如下：

以上就是ubuntu14.04 64位編譯安裝loopus工具的流程。

ubuntu 14 04下matcaffe的配置

然後操作如下 sudo update alternatives install usr bin gcc gcc usr bin gcc 4.4 40 sudo update alternatives install usr bin g g usr bin g 4.4 40 此時可以使用 gcc v ...

Ubuntu 14 04下配置Pyspider環境

ubuntu 14.04.4 lts 1.ubuntu 系統自帶python 所以不用安裝python 注 安裝前先更新下軟體源 命令 sudo apt get update 2.開始安裝pip 命令 sudo apt get install python pip 安裝成功後公升級下pip 確保pi...

ubuntu 14 04下mysql中文亂碼問題

最近mysql資料庫進行插入的時候，中文出現亂碼，在網上搜尋了一大圈，多是要修改 etc mysql my.cnf檔案中的多處，經嘗試，修改過之後mysql無法重啟。sudo gedit etc mysql my.cnf 開啟my.cnf後只需修改一處即可，在 mysqld 這一行下面新增chara...