Bomb这个程序是《深入理解计算机系统》的配套实验的一部分，一共6关。

原地址：

环境：

第一关热身题，输入一段明文保存的字符串：

key: Border relations with Canada have never been better.

要求输入6个数：

输入的6个数字会存在数组里，临时取名input。接下来rbx执行input[1]，rbp指向input[6]（用来结束循环）：

input[i]与input[i-1] * 2比较，相等即可，所以输入一个等比数列即可。

key: 1 2 4 8 16 32

输入两个数 num1, num2

有一个长度为8的跳转表，所以会检查num1<=7, 之后跳转到jpt_400F75[num1], 每个case都有一个数，与num2相等则通过

比如下面这个num1==0的case:

所以输入 0 207（0xcf==207） 即可，其它7个case也可以，所以应该是有8对数作为flag。

还是输入两个数num1 num2, 要求num1 <= 0xe

然后调用一个func4(0xe, 0, num1), 要求返回0，并且num2也需要为0：

分析一下func4函数，这是一个递归函数：

用c还原：

调试一下，执行到if时nEcx是7，所以key为 7 0

输入一段字符串，要求长度为6

然后根据输入的字符串，映射为另一个字符串。

映射的逻辑是，每个输入的字符的低4位，作为0x4024B0处字符串表（如下）的偏移。比如输入小写a（0x61），偏移就是0x61 & 0x0f == 0x01，映射为4024B1处的0x61。

我们的目标就是找到flyers这几个字母在以下字符串中的偏移，可以用python来解：

第6关，还是输入6个数字，紧接着是一个双重循环，要求每一个数字不能大于5，并且互不重复：

之后，将每个数字与7做差，比如，输入1，2，3，4，5，6，现在变为6，5，4，3，2，1：

loc_401197部分开始稍微复杂：

先注意到有个全局变量node1, 在IDA的符号窗口可以看到，一共有6个节点：

数据窗口看一下，原来是一个链表（如果没有node符号，对这种指针数据应该敏感一点）：

结构还原：

识别出数据结构就稍微容易点了。比如现在输入的数组已经变成6，5，4，3，2，1, 那么下面的逻辑会依次把第6，5，4，3，2，1个链表节点的地址存到局部数组里：

执行完后的栈空间（arrLinkListNodes）：

继续跟到4011ab处的逻辑，这里会根据局部数组，改变节点的next，重新排列链表：

局部数组是6，5，4，3，2，1，所以链表就被逆过来了，并且node1.next被置为NULL。

最后看关键的判断炸弹是否爆炸的逻辑。4011DF这里会按照重新排列好的链表顺序，判断它们的n2成员是否从大到小排列，不是则爆炸。

让我们再回看一下数据窗口的链表：

它们的n2依次为14c, a8, 39c, 2b3, 1dd, 1bb, 写个脚本排列一下：

key : 4 3 2 1 6 5

[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入！