一道另类的二进制逆向解法（angr初识）

新人发帖，欢迎大佬们指点

angr工具（Python运行）：

    工具下载：https://www.anquanke.com/post/id/85039

下边来解一道逆向的题试用一下

题目下载地址：http://www.whaledu.com/course/13/task/51/show

例题（无参数）r100：

Linux环境下，Python交互键入命令完成：

import angr
//项目装载：'./r100'为文件名，'auto_load_libs=False'表示不调试后续动态库,仅运行./r100
proj = angr.Project('./r100',auto_load_libs=False)
//程序初始状态，factory工具集，entry_state()为程序入口
state = proj.factory.entry_state()
//从入口遍历程序
simgr = proj.factory.simgr(state)
//遍历程序，找到想要的地址0x400844,避开不想要的地址0x400855
simgr.explore(find=0x400844,avoid=0x400855)
//打印找到的信息，从0开始,注意'\x00'为结束符

simgr.found[0].posix.dumps(0)

键入之后稍作等待就可以得出结果了，提示，路径过多或内存不足可能报错