angr符号执行用例解析——0ctf_momo_3

源码及二进制文件链接：https://github.com/angr/angr-doc/tree/master/examples/0ctf_momo_3

该题目来自于2016年0ctf比赛的被混淆过的二进制文件。在使用angr进行分析前，作者通过调试工具确定了flag的生成方式。flag获取代码为：.text:0804ABAC   mov  edx, dword_81FE260[edx*4]。随后，我们对输入进行了变换，并寻找与Qira的不同点。我们发现0x81fe6e0和0x81fe6e4内容一样时即可。因为movfuscator混淆后 “vm”访问内存总是一样的，所以我们可以通过寻找相同指令（相同顺序）来确定angr执行的目标。

程序首先将momo文件加载进来；
然后计算了要分析的起始地址和大小；
通过loader.memory.read_bytes方法将要分析的数据读取出来；
使用capstone框架对这段数据反汇编；
初始化一个capstoneblock；
在这段block中通过指令的字符串与顺序匹配来寻找分析的目标地址targets；
指令的顺序为：
edx, dword ptr [edx*4 + 0x81fe260]
al, byte ptr [0x81fe6e0]
dl, byte ptr [0x81fe6e4]
发现一个记录一个targets；
打印出发现的targets地址数目；
对于每一个target进行分析，分析内容如下：
初始化一个flag_arr=“0ctf{”
然后从string工具类中取出一个char，与刚刚的flag_arr拼接得到flag；
获取程序入口状态entry_state；
entry_state的输入为flag；
从这个状态起explore，寻找所有包含target地址的路径（按照顺序来说，找到一个就返回了，所以满足的路径应该只有一个）；
以这个路径第一个状态为起始，执行到target，比较寄存器ax和dx的值，如果相等则说明这个trychar是对的，则在flag_arr后面添加这个字符；
直到所有的target都遍历完成，