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