CSAPP Bomblab通关秘籍：手把手教你用GDB调试拆掉6个炸弹（附完整答案）

CSAPP Bomblab实战指南：从零破解六个炸弹的完整策略

在计算机系统课程中，Bomblab实验堪称是理解程序底层运行机制的绝佳实践。这个实验要求你通过逆向工程和调试技巧，逐步拆解六个精心设计的"炸弹"。每个炸弹都需要输入特定的字符串或数字序列才能安全解除，否则就会"爆炸"。对于刚接触汇编和调试的学生来说，这个实验既充满挑战又极具成就感。

1. 实验准备与环境搭建

在开始拆弹之前，我们需要做好充分的准备工作。首先确保你的Linux环境已经安装了必要的工具链：

sudo apt-get update sudo apt-get install gdb objdump

实验通常提供两个关键文件：

• bomb：可执行文件，包含六个待破解的phase
• bomb.c：C源代码，虽然关键函数被隐藏，但能提供整体框架信息

建议先浏览bomb.c文件，了解程序的基本结构：

int main() { initialize_bomb(); printf("Welcome to my fiendish little bomb. You have 6 phases with\n"); printf("which to blow yourself up. Have a nice day!\n"); /* 依次调用6个phase函数 */ phase_1(input); phase_2(input); // ...后续phase return 0; }

使用objdump生成汇编代码参考文件：

objdump -d bomb > bomb.asm

这个命令会将bomb程序的汇编代码输出到bomb.asm文件中，方便后续查阅。

提示：建议将bomb.asm和bomb.c放在同一个目录下，使用分屏编辑器同时查看，可以大大提高分析效率。

2. GDB调试基础技巧

GDB是破解Bomblab的核心工具，掌握以下命令能让你事半功倍：

gdb ./bomb

常用GDB命令表：

调试时建议采用以下工作流程：

1. 在phase函数入口设置断点
2. 运行程序并输入测试字符串
3. 单步跟踪执行流程
4. 观察关键跳转和比较指令
5. 分析决定炸弹是否爆炸的条件

3. Phase 1：字符串比对破解

第一个炸弹是最简单的热身，主要考察基本的字符串处理能力。通过反汇编可以看到关键逻辑：

0x08048b93 <phase_1+3>: movl $0x804a204,0x4(%esp) 0x08048b9b <phase_1+11>: mov 0x20(%esp),%eax 0x08048b9f <phase_1+15>: mov %eax,(%esp) 0x08048ba2 <phase_1+18>: call 0x80490ca <strings_not_equal> 0x08048ba7 <phase_1+23>: test %eax,%eax 0x08048ba9 <phase_1+25>: je 0x8048bb0 <phase_1+32> 0x08048bab <phase_1+27>: call 0x80491d5 <explode_bomb>

破解步骤：

1. 在phase_1设置断点：break phase_1
2. 运行程序：run
3. 反汇编当前函数：disas
4. 查看0x804a204处的字符串：x/s 0x804a204
5. 程序会将你的输入与该字符串比较，不相等则爆炸

通过GDB查看内存中的字符串：

(gdb) x/s 0x804a204 0x804a204: "And they have no disregard for human life."

因此，Phase 1的解决方案就是输入这个字符串：

And they have no disregard for human life.

4. Phase 2：数字序列模式识别

第二个炸弹要求识别数字序列的模式。反汇编显示它调用了read_six_numbers函数：

0x08048bb9 <phase_2+0>: push %ebx 0x08048bba <phase_2+1>: sub $0x38,%esp 0x08048bbd <phase_2+4>: lea 0x18(%esp),%eax 0x08048bc1 <phase_2+8>: mov %eax,0x4(%esp) 0x08048bc5 <phase_2+12>: mov 0x40(%esp),%eax 0x08048bc9 <phase_2+16>: mov %eax,(%esp) 0x08048bcc <phase_2+19>: call 0x80491fc <read_six_numbers>

关键分析点：

1. 输入必须是6个数字
2. 第一个数字必须为1
3. 后续每个数字都是前一个的2倍

调试技巧：

1. 在read_six_numbers后设置断点
2. 查看栈帧中存储的数字：x/6dw $esp+0x18
3. 单步跟踪比较指令，观察跳转逻辑

通过分析汇编代码可以得出序列规律：

1 2 4 8 16 32

这个phase教会我们如何分析循环结构和数字序列模式，为后续更复杂的炸弹打下基础。

5. Phase 3：条件跳转与switch语句

第三个炸弹引入了条件跳转和类似switch的结构，难度明显提升。关键汇编片段：

0x08048c3b <phase_3+57>: cmpl $0x7,0x28(%esp) 0x08048c40 <phase_3+62>: ja 0x8048d42 <phase_3+320> 0x08048c46 <phase_3+68>: mov 0x28(%esp),%eax 0x08048c4a <phase_3+72>: jmp *0x804a260(,%eax,4)

破解要点：

1. 输入格式为"整数 字符 整数"，例如"0 a 1"
2. 第一个整数必须在0-7范围内
3. 根据第一个整数值，程序会跳转到不同的处理逻辑
4. 需要找到使程序不爆炸的特定组合

通过GDB可以查看跳转表：

(gdb) x/8wx 0x804a260 0x804a260: 0x08048c51 0x08048c7a 0x08048c99 0x08048cb8 0x804a270: 0x08048cd7 0x08048cf6 0x08048d15 0x08048d34

分析其中一个路径（假设第一个输入为0）：

0x08048c51: mov $0x69,%eax ; eax = 'i'的ASCII码 0x08048c56: cmpl $0x358,0x2c(%esp) ; 比较第三个输入与856 0x08048c5d: je 0x8048d4c <phase_3+298>

因此，一个可行的解是：

0 i 856

这个phase的关键在于理解跳转表和条件分支的执行流程，需要耐心跟踪每个可能的路径。

6. Phase 4：递归函数分析

第四个炸弹引入了递归函数调用，难度再次升级。关键点在于分析func4函数：

0x08048d5b <func4>: 0x08048d61 <func4+6>: mov 0x20(%esp),%ebx ; 参数a 0x08048d65 <func4+10>: mov 0x24(%esp),%esi ; 参数b 0x08048d6b <func4+16>: jle 0x8048d99 <func4+62> ; if(a<=0) 0x08048d72 <func4+23>: je 0x8048d9e <func4+67> ; if(a==1) 0x08048d7e <func4+35>: call 0x8048d5b <func4> ; 递归调用

破解步骤：

1. 输入是两个整数
2. 第二个整数必须在2-4范围内
3. 第一个整数是func4(7, x)的返回值
4. 需要分析递归函数的数学规律

通过单步调试可以发现，当第二个输入为3时，func4返回99。因此一个可行的解是：

99 3

这个phase教会我们如何分析递归函数的汇编实现，理解栈帧在递归调用中的变化。

7. Phase 5：数组与循环结构

第五个炸弹涉及数组访问和循环控制，需要更多耐心。关键汇编片段：

0x08048e50 <phase_5+75>: add $0x1,%edx 0x08048e53 <phase_5+78>: mov 0x804a280(,%eax,4),%eax 0x08048e5a <phase_5+85>: add %eax,%ecx 0x08048e5c <phase_5+87>: cmp $0xf,%eax 0x08048e5f <phase_5+90>: jne 0x8048e50 <phase_5+75>

破解要点：

1. 输入是两个整数
2. 第一个整数不能为15
3. 程序会根据第一个整数作为索引访问数组
4. 需要循环15次，累加特定值
5. 第二个输入必须等于累加结果

通过GDB查看数组内容：

(gdb) x/16wx 0x804a280 0x804a280: 0x0000000a 0x00000002 0x0000000e 0x00000007 0x804a290: 0x00000008 0x0000000c 0x0000000f 0x0000000b 0x804a2a0: 0x00000000 0x00000004 0x00000001 0x0000000d 0x804a2b0: 0x00000003 0x00000009 0x00000006 0x00000005

经过分析，当第一个输入为5时，累加结果为115。因此一个可行的解是：

5 115

这个phase展示了如何分析涉及数组和循环的汇编代码，需要仔细跟踪寄存器和内存的变化。

8. Phase 6：链表结构与复杂条件

第六个炸弹是最复杂的，涉及链表操作和多层条件判断。关键点包括：

1. 输入是6个1-6的不重复数字
2. 程序会将每个数字x转换为7-x
3. 根据转换后的数字访问链表节点
4. 重新排列链表节点
5. 最后检查节点值是否按非递增排列

链表节点结构可以通过GDB查看：

(gdb) x/12wx 0x804c13c 0x804c13c <node1>: 0x000001c4 0x00000001 0x0804c148 0x00000000 0x804c14c <node2>: 0x00000275 0x00000002 0x0804c154 0x00000000 0x804c15c <node3>: 0x00000301 0x00000003 0x0804c160 0x00000000

节点值依次为：

• node1: 0x1c4 (452)
• node2: 0x275 (629)
• node3: 0x301 (769)
• node4: 0x39d (925)
• node5: 0x27e (638)
• node6: 0x30c (780)

要使节点按值非递增排列，正确的原始输入应该是：

5 1 4 2 6 3

这个phase综合考验了我们对数据结构、条件判断和循环的汇编实现的理解能力。