南京邮电大学计算机系统基础——csapp bomb实验

最新推荐文章于 2024-07-06 21:00:00 发布

f2056

最新推荐文章于 2024-07-06 21:00:00 发布

阅读量992

点赞数 18

文章标签：笔记经验分享

本文链接：https://blog.csdn.net/f2056/article/details/139027784

版权

一.前言

在开始csapp bomb实验前，请确保自己能看懂基本的ATT格式的汇编语言，了解汇编中栈的作用何使用，明白函数调用时参数是如何传递的，明白16个寄存器的作用。

学会使用基本的gdb命令，break(设置断点），delete(删除断点），run(运行），step(逐语句），next（逐过程），continue(继续），disas(查看汇编代码），x(查看地址内容），i r 寄存器（查看寄存器内容）。

通过下面命令将bomb反汇编并将其存放到bomb.asm中，部分函数可能在下面分析中不会出现，需要你自己去分析。

>objdump -d bomb>bomb.asm

如果你已经准备好了，那就开始吧。

二.bomb

1.phase_1

进入gdb,通过指令 l 查看代码，通过 b 在phase_1(input)设置断点。

使用stepi 1,进入phase_1，使用disas查看汇编。观察到函数 string_not_equal接受两个参数%rdi(我们自己的输入）、%rsi，如果%rdi和%rsi相同则将%eax置零。同时如果返回值%eax为零则不会触发bomb。所以我们查看%rsi的值。

ok，我们得到第一个答案。

2.phase_2

分析read_six_number函数，明白函数将我们输入的六个数存放到栈中。分析0x401671到0x401685知道我们的输入需要满足 $r[i+1]=r[i]+i+1$ and $r[0]>=0$ 。令 $r[0]=0$ ，可以推出答案为 0 1 3 6 10 15。

3.phase_3

我们通过下面命令看看输入格式要求。

观察+67到+82，这段代码在计算jmp跳转的地址，同时在+56的代码要求第一个参数<7。（本人偷懒直接在+85查看计算好的地址）。

我们找到地址为0x40172b的代码，这段代码告诉我们第二个参数==0x1c7。

下面的代码说明字符参数等于%al的值，由上面%eax=0x71，查看ascii码，字符参数为q.

所以结果就为1 q 455

4.phase_4

该题考查我们对函数调用的理解。查看sscanf得到输入格式为%d %d（偷懒，自己通过x看）。看到func4的返回值不为4就bomb，同时第二个参数必须为4。

func(%rdi,%rsi=0,%rdx=14);

该函数接受三个参数，并且开始时%rsi,%rdx的初始值为0和14。通过构造递归树以及返回值为4=2+2，2=1+1，1=0+0+1。所以我们得到递归的路径为7>x,3>x,1<x,x=2。即 $func4(x,0,14)->func4(x,0,6)->func4(x,0,2)->func4(x,1,2)->func4(x,2,2)$