angr符号执行用例解析——ais3_crackme

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

这次的用例非常简单，也非常基础（也是唯一一个，我自己能做出来的）。

执行这个二进制文件 ./ais3_crackme

输出： You need to enter the secret key!

看来需要参数，随便输入个123： ./ais3_crackme 123

输出：You need to enter the secret key!

所以我们的目的就是输入一个正确的key，得到成功的返回结果，这个key就是最后的flag了。

把ais3_crackme拖到IDA中，分析一下（记得用64位的IDA分析这个文件）：