angr学习【二】

前言

这篇文章是一定要写的，虽然可能还不是很明白。

题目二

题目 https://github.com/angr/angr-doc/tree/master/examples/ais3_crackme
IDA看一下，需要从命令行进行输入。那么就需要使用到claripy这个模块。

claripy.BVS('arg1', n*8) 构造输入参数长度为8bytes
entry_state方法接受一个args参数来控制输入
proj = angr.Project("./ais3_crackme")
args = [proj.filename, claripy.BVS('arg1', 50*8)]
state = proj.factory.entry_state(args=args)

然后创建一个simulation_manager模拟器，执行
在 Angr 寻找路径时，程序的当前状态有多种表示。