课程名称：计算机系统原理实验

实验课时：32课时

实验项目名称：BombLab二进制炸弹

实验材料：可执行文件bomb、源代码bomb.c、说明README

实验环境：Linux操作系统(安装虚拟机和Ubuntu)

实验工具：调试工具gdb

实验内容：程序运行中有6道关卡(phases)，每道关卡需要用户在终端上输入特定的字符串。输入正确则炸弹解除，错误则炸弹引爆。

实验方法：

1.将程序反汇编成汇编语言。

2.结合C语言文件找到每个关卡的入口函数。

3.然后分析汇编代码，找到每个phase中引导程序跳转到explode_bomb程序的地方。

4.分析其成功跳转的条件——以此为突破口寻找应该输入的字符串！

【实验分析】

预先准备

首先查看整个bomb.c的代码，发现整个炸弹组是由6个小炸弹(函数)组成的。整个main函数比较简单，函数间变量几乎没有影响。因此，只需要依次解除6个小炸弹即可。

实验材料只有一个可执行文件，先把他用objdump -d反汇编得到汇编文件。打开文件发现对应6个phase，对应的汇编文件十分长，因此我们直接步入phase部分。

phase_1：

利用gdb调试，gdb bomb

disassemble phaes_1

经分析，答案极有可能存放在0x804a15c处

可看汇编代码如上图所示，以下为栈帧的计算过程

我们看到如上图所示，调用了一个函数，根据名字判断是判断两个字符串是否相等。我们找到这个函数来验证我们的猜想是否正确：

在gdb下调试，设立断点，并检验

phase_2：

disassemble phase_2

可看到phase_2的汇编代码以及理解，利用一个循环，不断计算出这个六位密码。

栈帧的计算步骤

a[0]=0 a[1]=1 a[2]=a[0]+a[1]=1 a[3]=a[2]+a[1]=2 a[4]=3 a[5]=5

即答案猜想为? 0 1 1 2 3 5，下面进行检验

gdb下进行调试检验

总结

通过这次『拆弹』的历练，我对数据在内存中以及汇编的表示方法有了更加深刻的认识，做得过程可能有时候会摸不着头脑，这个时候告诉自己冷静，相信自己。

phase_3：

利用gdb调试，gdb bomb

disassemble phaes_3

通过汇编代码画出栈的情况可看汇编代码如上图所示，以下为栈帧的计算过程

可以看到调用 函数sscanf，那么sscanf 函数是做什么用的的呢？查阅资料如下：

??function

sscanf

int sscanf ( const char * s, const char * format, ...);

Read formatted data from string

Reads data from s and stores them according to parameter format into the locations given by the additional arguments, as if scanf was used, but reading from s instead of the standard input ( stdin).The additional arguments should point to already allocated objects of the type specified by their corresponding format specifier within the format string.

Return Value

On success, the function returns the number of items in the argument list successfully filled. This count can match the expected number of items or be less (even zero) in the case of a matching failure.In the case of an input failure before any data could be successfully interpreted, EOF is returned.成功时, 该函数返回已成功填充的参数列表中的个数。在匹配的失败情况下, 此计数可以与预期的参数个数匹配, 或小于 (甚至为零)。

在成功解释任何数据之前输入失败的情况下, 将返回 EOF

即这个函数的返回值为函数接收到的有效参数的个数

结合有疑问的语句

0x08048eb5 :mo