angr初使用

angr是早在几年前就出来了的一款很好用的工具，如今也出了docker，所以想直接安个docker来跑一跑。

docker pull angr/angr 。下载下来以后，进入docker ，这时并没有docker的运行环境的，需要使用su angr命令进入angr的用户才有相关的环境。

首先来看一个最简单的程序，defcamp 的r100。程序就是输入一个password，对了显示Nice，错了显示Incorrect password。

所使用的脚本如下所示。

 1 import angr
 2 
 3 def main():
 4     p = angr.Project("r100")
 5     simgr = p.factory.simulation_manager(p.factory.full_init_state())
 6     simgr.explore(find=0x400844, avoid=0x400855)
 7 
 8     return simgr.found[0].posix.dumps(0).strip(b'\0\n')
 9 
10 if __name__ == '__main__':
11     print(main())

其规则为找到测试的程序，申请一个工厂类，然后制定规则，在哪里算是找到了，哪里是要避免的，然后将结果返回出来。dumps可以返回相应文件描述符的内容，因而要为0，得到stdin的输入。如果尝试打印出simulation_manager 的avoid，则可以看到字符串的演变过程