符號執行工具angr安裝教程

2021-07-13 02:54:58 字數 1232 閱讀 2519

angr是乙個python庫,安裝到python環境中。適用於python2.x系列,暫時不支援python3.x系列。

安裝基本開發環境:

安裝可以利用setup.py指令碼,或者pip工具。如果在ubuntu中,則在命令列中輸入

$ sudo apt-get install python-dev libffi-dev build-essential

首先設定乙個環境變數workon_home

$ export workon_home=$home/python-workhome

建立環境

mkvirtualenv env1

mkvirtualenv env2

環境建立之後,會自動進入該目錄,並啟用該環境。

切換環境

workon env1

workon env2

列出已有環境

workon

退出環境

deactivate

刪除環境

rmvirtualenv

對於_nix系統(對於windows和mac os須另外說明)

利用$ mkvirtualenv angr建立angr的虛擬python環境,並啟動

因為angr以python包的形式公開發布,然後輸入

$sudo pip install angr

就可以安裝angr。

利用下面的命令即可

$ git clone 

$cd angr-dev

$mkvirtualenv angr

$./setup.sh

為方便起見,上傳了乙個docker的映象,99%的可能性保證能夠工作。

通過一下步驟就能安裝:

# #install docker

$curl

-ssl | sudo sh

# #pull the docker image

$sudo docker pull angr/angr

# #run it

$sudo docker run -it angr

符號執行工具KLEE安裝

按照官方安裝文件build klee with llvm3.4來就行 2.1 bashrc檔案在 bashrc直接gedit bashrc便可編輯 2.2 第4部build uclibc and the posix environment model還是選擇裝上吧,做點實際的測試還是用得上的,能夠用...

前端構建工具gulp安裝教程

首先先問自己乙個問題 平時用sass less寫css,用jade寫 html 那麼這些檔案的的測試 檢查 合併 壓縮 格式化 部署,監聽。應該怎麼完成呢?就來壓縮合併來講,可以減少多個css,js檔案請求,優化網頁效能,這樣的工作是否應該有乙個很好的解決方案呢?答案就是gulp。安裝gulp如下幾...

python資料分析工具安裝教程

python本身的資料分析功能不強,需要安裝一些第三方擴充套件庫來增強它的能力,介紹兩種方法 潔淨python3.x自行安裝庫 注意有安裝的先後順序 在cmd的視窗中執行python後執行或在pycharm的ter視窗中執行 1.1安裝numpy numpy實現了真正的陣列功能,後面介紹的scipy...