0%

angr初探(1)

发表于 更新于 分类于

angr 安装与简单使用

介绍

angr

总结来说，angr用于逆向工程中进行二进制分析的一个python框架
具体介绍见其github主页angr

符号执行

符号执行 （Symbolic Execution）是一种程序分析技术。其可以通过分析程序来得到让特定代码区域执行的输入。使用符号执行分析一个程序时，该程序会使用符号值作为输入，而非一般执行程序时使用的具体值。在达到目标代码时，分析器可以得到相应的路径约束，然后通过约束求解器来得到可以触发目标代码的具体值。 – 摘自维基百科

安装

首先安装依赖

1
sudo apt-get install python-dev libffi-dev build-essential virtualenvwrapper

安装angr

1
mkvirtualenv angr && pip install angr

这里就出问题了zsh: mkvirtualenv: command not found
最终google到 bash: mkvirtualenv: command not found
最终出错原因是因为ubuntu的virtualenvwrapper.sh的位置是不定的，所以mkvirtualenv命令在环境变量中并没有被包含，解决方案为

1) 首先找到virtualenvwrapper.sh的位置

2) 然后将其加入环境变量

3) 最后再执行安装angr那一步

4) 安装好后，呵呵，还是没成功，import的时候，出现如下错误：


我的解决方案为

1
$ pip install -I --no-use-wheel capstone

安装成功

简单使用

这里以这个链接给的例子来测试sym-write
先看源码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include<stdio.h>

char u=0;
int main(void)
{
	int i, bits[2]={0,0};
	for (i=0; i<8; i++) {
		bits[(u&(1<<i))!=0]++;
	}
	if (bits[0]==bits[1]) {
		printf("you win!");
	}
	else {
		printf("you lose!");
	}
	return 0;
}

具体exp为

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/usr/bin/env python
# coding=utf-8
import angr
import claripy

p = angr.Project('./issue')
state = p.factory.entry_state(args=['./issue',])

u = claripy.BVS('u',8)

state.memory.store(0x0804A021,u)
sm = p.factory.simulation_manager(state)
sm.explore(find=0x080484E3,avoid=0x080484F5)
if len(sm.found)>0:
    print sm.found[0].solver.eval(u)

我们来具体分析以下这个脚本
import angr 这个自然不用说，导入angr包
import claripy 这个模块用来来定义抽象的数据，u = claripy.BVS('u',8) 这一句即是用claripy这个模块的BVS函数来创建一个指定长度的抽象数据，BVS函数要求两个参数，第一个参数为变量名，第二个参数为变量长度。
p = angr.Project('./issue') 加载一个一个程序，建立一个angr工程
state = p.factory.entry_state(args=['./issue',]) 用于指明程序在初始运行时的状态,另外有函数blank_state，可用于指定程序起始运行地址通过给定参数addr的值
state.memory.store(0x0804A021,u),将指定data，这里是u，存储到给定地址addr，这里是0x0804A021,

sm = p.factory.simulation_manager(state) 从给定状态创建了一个模拟器，进行符号执行

sm.explore(find=0x080484E3,avoid=0x080484F5) 进行符号执行得到想要的状态，这里的两个地址为

即要产生win的状态，而避免lose的状态

最终sm.found 用于存储我们想要的状态，通过if判断其长度，从而确定能否得到我们想要的状态

sm.found[0].solver.eval(u) sm.found[0].solver 用于存储状态的解，而eval函数则输入参数的值

局部总结

以上就是angr的基本用法，本人对于angr的理解很浅显，有些地方也不是特别清楚，如果有错的地方，希望大家指点。以后会继续放出其他的关于angr的使用简介

更正

由于直接sudo apt-get install virtualenv会后续出现各种问题，这里最后我google到安装angr的新方法：采用pip去安装virtualenv和virtualenvwrapper,具体命令如下

1
2
sudo apt-get remove virtualenv virtualenvwrapper
pip  install virtualenv virtualenvwrapper

安装完成后
配置.zshrc(terminal若为bash，则配置.bash_profile)

1
2
3
4
5
# virtualenvwrapper 
export WORKON_HOME=$HOME/.virtualenvs
export VIRTUALENVWRAPPER_PYTHON=/usr/bin/python   #python目录
export VIRTUALENVWRAPPER_VIRTUALENV=/usr/local/bin/virtualenv # virtualenv 目录
source /usr/local/bin/virtualenvwrapper.sh #virtualenvwrapper.sh文件所在位置，方法如上

亲测成功，这里就不截图了。
最后贴上链接Terminal issue with virtualenvwrapper after Mavericks Upgrade ，仅供参考。