CSAPP Bomb Lab通关保姆级教程：手把手教你用GDB和objdump拆解六个炸弹

CSAPP Bomb Lab通关全攻略：从零掌握GDB与汇编逆向思维

1. 实验准备与环境搭建

Bomb Lab是《深入理解计算机系统》课程中最具挑战性的实验之一，它要求你通过逆向工程的方式拆解一个包含六个关卡（外加一个隐藏关卡）的"炸弹"程序。这个实验不仅能让你深入理解x86-64汇编语言，还能培养系统级的调试思维。

推荐实验环境配置：

• Ubuntu 20.04 LTS或更新版本（物理机或虚拟机）
• GCC 9.0+编译工具链
• GDB 10.0+调试器（建议安装增强插件如GEF或Pwndbg）
• Objdump工具集

# 基础工具安装 sudo apt update && sudo apt install -y build-essential gdb python3-dev # GEF调试插件安装 bash -c "$(curl -fsSL https://gef.blah.cat/sh)"

关键工具对比：

提示：实验前建议关闭系统ASLR保护，使用命令echo 0 | sudo tee /proc/sys/kernel/randomize_va_space，实验完成后再恢复为2

2. 逆向工程基础方法论

2.1 静态分析与动态调试的结合

逆向工程需要静态分析（阅读反汇编代码）和动态调试（运行时观察）相结合。建议的工作流程：

1. 使用objdump生成完整的汇编代码

   objdump -d bomb > bomb.asm

2. 在GDB中设置关键断点

   break phase_1 break explode_bomb

3. 交叉验证静态分析与动态执行结果

2.2 关键寄存器速查表

理解x86-64调用约定对快速定位参数至关重要：

3. 分阶段破解实战

3.1 Phase 1：字符串比对

这是最简单的热身关卡，核心逻辑是字符串比较：

phase_1: sub $0x8,%rsp mov $0x402400,%esi # 关键地址 callq 0x401338 <strings_not_equal> test %eax,%eax je 0x400ef7 <phase_1+23> callq 0x40143a <explode_bomb> add $0x8,%rsp retq

破解步骤：

1. 使用GDB查看0x402400处的字符串

   x/s 0x402400

2. 输入该字符串即可通过

3.2 Phase 2：数列规律

这一关考察对循环结构和栈操作的理解：

phase_2: push %rbp push %rbx sub $0x28,%rsp mov %rsp,%rsi callq 0x40145c <read_six_numbers> cmpl $0x1,(%rsp) # 第一个数必须为1 je 0x400f30 <phase_2+52> callq 0x40143a <explode_bomb> jmp 0x400f30 <phase_2+52> mov -0x4(%rbx),%eax # 关键循环体 add %eax,%eax # 前一个数×2 cmp %eax,(%rbx) # 必须等于当前数 je 0x400f25 <phase_2+41> callq 0x40143a <explode_bomb>

解题思路：

1. 识别需要输入6个数字
2. 第一个数字固定为1
3. 后续每个数字是前一个的2倍
4. 因此正确序列为：1 2 4 8 16 32

3.3 Phase 3：跳转表与switch-case

这一关引入了复杂的控制流结构：

phase_3: sub $0x18,%rsp lea 0xc(%rsp),%rcx lea 0x8(%rsp),%rdx mov $0x4025cf,%esi # 格式化字符串地址 mov $0x0,%eax callq 0x400bf0 <__isoc99_sscanf@plt> cmp $0x1,%eax jg 0x400f6a <phase_3+39> callq 0x40143a <explode_bomb> cmpl $0x7,0x8(%rsp) # 第一个输入必须≤7 ja 0x400fad <phase_3+106> mov 0x8(%rsp),%eax jmpq *0x402470(,%rax,8) # 跳转表

关键操作：

1. 使用x/s 0x4025cf查看格式化字符串，发现需要输入两个整数
2. 第一个数字作为跳转表索引（0-7）
3. 每个case会设置特定的值，第二个数字必须与之匹配

示例解法：

• 输入"1 311"（当第一个数字为1时，第二个数字需为311）

4. 高级技巧：递归与数据结构

4.1 Phase 4：递归函数分析

这一关引入了递归调用：

func4: sub $0x8,%rsp mov %edx,%eax sub %esi,%eax mov %eax,%ecx shr $0x1f,%ecx add %ecx,%eax sar %eax lea (%rax,%rsi,1),%ecx cmp %edi,%ecx jle 0x400ff2 <func4+36> lea -0x1(%rcx),%edx callq 0x400fce <func4> add %eax,%eax jmp 0x401007 <func4+57>

数学建模：该递归函数实际上是在实现二分查找算法。通过分析可以得到：

1. 初始参数：%edi=输入值，%esi=0，%edx=14
2. 需要使返回值%eax=0
3. 推导出输入数字应为7（中间值）

4.2 Phase 5：字符串变换

这一关考察指针运算和字符处理：

phase_5: push %rbx sub $0x20,%rsp mov %rdi,%rbx mov %fs:0x28,%rax mov %rax,0x18(%rsp) xor %eax,%eax callq 0x40131b <string_length> cmp $0x6,%eax # 必须6个字符 je 0x4010d2 <phase_5+112> callq 0x40143a <explode_bomb> movzbl (%rbx,%rax,1),%ecx # 取字符 mov %cl,(%rsp) mov (%rsp),%rdx and $0xf,%edx # 取低4位 movzbl 0x4024b0(%rdx),%edx # 查表 mov %dl,0x10(%rsp,%rax,1)

破解步骤：

1. 使用x/s 0x4024b0查看字符表
2. 使用x/s 0x40245e查看目标字符串
3. 逆向推导输入字符的低4位应产生的索引
4. 构造满足条件的6字符组合，如"9?>567"

5. 终极挑战：Phase 6与秘密关卡

5.1 Phase 6：链表操作

这一关综合了数据结构与复杂控制流：

phase_6: push %r14 push %r13 push %r12 push %rbp push %rbx sub $0x50,%rsp mov %rsp,%r13 mov %rsp,%rsi callq 0x40145c <read_six_numbers> mov %rsp,%r14 mov $0x0,%r12d mov %r13,%rbp mov 0x0(%r13),%eax sub $0x1,%eax cmp $0x5,%eax # 数字必须≤6 jbe 0x401128 <phase_6+52> callq 0x40143a <explode_bomb>

关键发现：

1. 程序操作的是一个包含6个节点的链表
2. 每个节点包含value和next指针
3. 需要按特定顺序排列节点
4. 使用x/12xg 0x6032d0查看链表结构

解法：输入"4 3 2 1 6 5"使得节点按值降序排列

5.2 秘密关卡：二叉树遍历

隐藏关卡需要特殊条件触发：

secret_phase: push %rbx callq 0x40149e <read_line> mov $0xa,%edx mov $0x0,%esi mov %rax,%rdi callq 0x400bd0 <strtol@plt> mov %rax,%rbx lea -0x1(%rax),%eax cmp $0x3e8,%eax # 输入必须≤1001 jbe 0x40126c <secret_phase+42> callq 0x40143a <explode_bomb> mov %ebx,%esi mov $0x6030f0,%edi # 二叉树根节点 callq 0x401204 <fun7> cmp $0x2,%eax # 需要返回2 je 0x401282 <secret_phase+64>

二叉树分析：

1. 使用x/24xg 0x6030f0查看二叉树结构
2. 每个节点包含value、left和right指针
3. fun7递归函数实现树遍历
4. 通过路径计算得出解为22

6. 调试技巧与高效工作流

6.1 GDB高级用法

实用命令集：

# 反汇编特定函数 disas phase_1 # 查看内存内容(16进制+ASCII) x/20xb 0x402400 # 查看字符串 x/s 0x402400 # 设置观察点 watch *(int*)0x6032d0 # 回溯调用栈 bt # 寄存器监控 display $rax display $rdi

6.2 自动化脚本

创建GDB脚本(bomb.gdb)提高效率：

set pagination off break phase_1 break phase_2 break phase_3 break phase_4 break phase_5 break phase_6 break explode_bomb run < input.txt where info registers x/10i $pc

执行方式：

gdb -x bomb.gdb ./bomb

6.3 常见错误排查

典型问题与解决方案：

逆向工程就像侦探破案，每个线索都隐藏在汇编指令和内存数据中。通过Bomb Lab的系统训练，你不仅能够掌握GDB和objdump的强大功能，更能培养出计算机系统级的思维方式。记住，耐心和系统性是关键——先理解整体结构，再深入细节，最后验证假设。这种分析方法将对你未来的系统编程和安全研究产生深远影响。