符号执行工具angr安装教程

时间:2021-01-26 23:30:01

初始化

angr是一个python库,安装到python环境中。适用于python2.x系列,暂时不支持python3.x系列。

建议使用python virtual enviroment 安装和使用angr。
说明: python virtual enviroment是一个python环境管理工具,该工具能够在真实的系统中创建一个虚拟的python环境,以防止软件安装过程中对真实环境的影响,同时也能方便解决python中不同版本不兼容的问题。具体请到百度搜索virtualenvwrapper和virtualenv,其中virtualenvwrapper是对virtualenv的封装。在angr中使用的是virtualenvwrapper。

安装基本开发环境:

安装可以利用setup.py脚本,或者pip工具。如果在ubuntu中,则在命令行中输入

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

注意:与官方说明文档不一样,这里不需要使用apt-get方式安装virtualenvwrapper软件,否则会找不到其具体安装地点,不方便下一步的初始化。

这里需要利用$pip install virtualenvwrapper 安装virtualenvwrapper,安装地点默认在/usr/local/bin/ ,如果以其他方式安装virtualvwrapper则可能找不到安装地址。

virtualenvwrapper初始化:

通过pip方式安装virtualenvwrapper后,第一次需要初始化配置。

首先设置一个环境变量WORKON_HOME

$ export WORKON_HOME=$HOME/Python-workhome

这里的$HOME/Python-workhome就是准备放置虚拟环境的地址。
然后$ source /usr/local/bin/virtualenvwrapper.sh启动virtualenvwrapper.sh脚本
为方便操作,将上述语句直接写入到~/.bash_profile

virtualenvwrapper操作命令:
创建环境
mkvirtualenv env1
mkvirtualenv env2
环境创建之后,会自动进入该目录,并激活该环境。

切换环境
workon env1
workon env2
列出已有环境
workon
退出环境
deactivate
删除环境
rmvirtualenv

开始安装angr

对于_nix系统(对于windows和mac os须另外说明)

利用 $ mkvirtualenv angr建立angr的虚拟python环境,并启动
因为angr以python包的形式公开发布,然后输入
$sudo pip install angr
就可以安装angr。

对于angr开发者

利用下面的命令即可

$ git clone https://github.com/angr/angr-dev
$cd angr-dev
$mkvirtualenv angr
$./setup.sh

包括了所有的下载,以一个可编辑的方式安装。脚本setup.sh能够创建一个PyPy(用python实现的python的解释器)的虚拟python环境,有更快的执行效率和较少的内存消耗
可以重新编译,并在虚拟环境中体现。

以docke的方式安装

为方便起见,上传了一个docker的镜像,99%的可能性保证能够工作。
通过一下步骤就能安装:

# #install docker
$curl -sSL https://get.docker.com/ | sudo sh
# #pull the docker image
$sudo docker pull angr/angr
# #run it
$sudo docker run -it angr