csapp_bomb_lab

my second week Challange

bomb lab

根据readme里面要求，我们需要对这个二进制文件的汇编语言进行解读

按要求输入内容通关

1

如图所示，把字符串给esi寄存器然后调用一个函数

如图箭头所指，调用字符串长度计算函数，然后下面cmp命令去比较

比对成功就通关

2

如图调用一个函数输入6个数字

输入函数如图

接着看下面的命令，在400f17这里rbx-4就是指向rsp

后面的add相当于乘2，然后下面比对第二个数是不是第一个的2倍是就执行400f25

在看下面400f25，又去执行400f17，循环往复直到6个数字比对完

so我们可以输入

1 2 4 8 16 32

3

按图从上到下，我们输入两个数字，一个用来选选项，一个用来比对

这里有7个case加一个default case

我这里拿case 0举例

我们输入0 207

先会进行选项输入的比对，看我们输入的是什么，然后会把选项里面的内容

比如case 0里面是207 那就会把这个数值给到eax

接着会拿我们的输入值去和eax里面数字比对

比对成功就ret返回否则调用炸弹函数

4

按次序输入参数1和2

结合图1我们可以发现参数2必须为0不然就会boom

那么至于参数1我们可以去康康func4，图2

把func4变成python

我们可以得知满足逻辑的参数1有0 1 3 7

so 我们输入 0 0就可以了

# -*- coding:utf-8 -*-

edx = 14
esi = 0
edi = 8  # param 1
eax = 0
ecx = 0


def func4():
    global edx, esi, edi, eax, ecx
    eax = edx
    eax = eax - esi
    ecx = eax
    ecx = ecx >> 31
    eax = eax + ecx
    eax = eax >> 1
    ecx = eax + esi 

    if ecx <= edi:
        eax = 0
        if ecx >= edi:  # ecx == edi
            return eax
        else:           # ecx < edi
            esi = ecx + 1
            func4()
            eax = eax*2 + 1
            return eax
    else:               # ecx > edi
        edx = ecx - 1
        func4()
        eax = eax*2
        return eax


if __name__ == "__main__":
    # for edi in range(7, 15):
    edi = 7
    res = func4()
    print(edi, ": ", res)