1. GDB反汇编基础从崩溃分析开始第一次遇到程序崩溃时我盯着屏幕上的Segmentation fault完全不知所措。直到同事教我使用GDB的反汇编功能才真正打开了调试的新世界。disassemble命令就像程序的X光机能让我们看到源码背后的机器指令真容。最基础的用法是直接反汇编当前函数(gdb) disassemble Dump of assembler code for function main: 0x0000555555555149 0: push %rbp 0x000055555555514a 1: mov %rsp,%rbp 0x000055555555514d 4: sub $0x10,%rsp ...当程序崩溃时先用bt查看调用栈再对问题函数反汇编。比如下面这个经典的空指针访问案例void crash() { int *p NULL; *p 42; // 在这里崩溃 }用GDB调试时会看到(gdb) bt #0 0x0000555555555156 in crash () #1 0x000055555555516c in main () (gdb) disassemble crash Dump of assembler code for function crash: 0x0000555555555149 0: push %rbp 0x000055555555514a 1: mov %rsp,%rbp 0x000055555555514d 4: movq $0x0,-0x8(%rbp) 0x0000555555555155 12: mov -0x8(%rbp),%rax 0x0000555555555159 16: movl $0x2a,(%rax) # 崩溃点关键点在16处的movl指令它试图往NULL指针写入数据。结合源码和汇编我们就能准确定位问题。2. 高级反汇编技巧源码与指令映射单纯的汇编代码对大多数人来说就像天书。GDB的/m和/r参数能大幅提升可读性(gdb) disassemble /mr main Dump of assembler code for function main: 5 int main() { 0x0000555555555149 0: 55 push %rbp 0x000055555555514a 1: 48 89 e5 mov %rsp,%rbp 6 int x 10; 0x000055555555514d 4: c7 45 fc 0a 00 00 00 movl $0xa,-0x4(%rbp) 7 return x * 2; 0x0000555555555154 11: 8b 45 fc mov -0x4(%rbp),%eax 0x0000555555555157 14: 01 c0 add %eax,%eax 8 } 0x0000555555555159 16: 5d pop %rbp 0x000055555555515a 17: c3 ret这里/m显示源码行/r显示机器码。可以看到movl $0xa,-0x4(%rbp)对应int x 10add %eax,%eax实现x * 2的乘法优化当遇到编译器优化时这种映射尤其有用。比如下面这个被优化的循环for(int i0; i100; i) { sum i; }反汇编可能显示为0x0000555555555160 23: mov $0x1357,%eax # 直接计算12...9949503. 动态反汇编实时观察程序执行有时候我们需要观察指令执行的动态过程。display/i $pc命令可以实时显示下一条指令(gdb) display/i $pc 1: x/i $pc 0x555555555149 main0: push %rbp (gdb) si # 单步执行 1: x/i $pc 0x55555555514a main1: mov %rsp,%rbp结合断点使用效果更好。比如这个排查死循环的例子(gdb) b *0x555555555160 # 在循环开始处设断点 (gdb) commands display/i $pc continue end (gdb) run Breakpoint 1, 0x0000555555555160 in main () 1: x/i $pc 0x555555555160 main23: jmp 0x555555555160 main23 # 发现无限跳转4. 内存与指令的深度探索当没有源码时x/i命令可以直接反汇编内存中的指令。比如分析一个二进制漏洞(gdb) x/10i 0x555555555160 0x555555555160: push %rbx 0x555555555161: mov %rdi,%rbx 0x555555555164: callq 0x555555555070 getsplt # 危险的gets调用 0x555555555169: mov %rbx,%rdi 0x55555555516c: callq 0x555555555080 putsplt另一个实用技巧是通过指令值反汇编。假设我们从日志中看到崩溃指令地址(gdb) x/i 0x55555555516d 0x55555555516d: retq # 可能是栈溢出导致的错误返回对于动态生成的代码可以先用info proc mappings找到内存区域再反汇编(gdb) info proc mappings 0x7ffff7fc9000 0x7ffff7fcd000 r-xp /lib/x86_64-linux-gnu/ld-2.31.so (gdb) disassemble 0x7ffff7fc9000,0x7ffff7fcd0005. 优化代码调试实战编译器优化常常让调试变得困难。比如这个简单的函数int square(int x) { return x * x; }使用-O2优化编译后反汇编显示(gdb) disassemble square Dump of assembler code for function square: 0x0000555555555140 0: mov %edi,%eax 0x0000555555555142 2: imul %edi,%eax 0x0000555555555145 5: ret可以看到gcc直接将乘法优化为imul指令。当内联发生时情况更复杂(gdb) disassemble /mr main Dump of assembler code for function main: 6 int main() { 0x0000555555555149 0: 48 83 ec 08 sub $0x8,%rsp 7 return square(5); 0x000055555555514d 4: bf 05 00 00 00 mov $0x5,%edi 0x0000555555555152 9: e8 e9 ff ff ff callq 0x555555555140 square 0x0000555555555157 14: 48 83 c4 08 add $0x8,%rsp 0x000055555555515b 18: c3 retq6. 多线程环境下的反汇编技巧调试多线程程序时需要先切换线程再反汇编(gdb) info threads Id Target Id Frame * 1 Thread 0x7ffff7da2740 (LWP 1234) main 0x000055555555516a in worker () 2 Thread 0x7ffff75a1700 (LWP 1235) worker 0x00007ffff7e7b9b5 in __GI___nanosleep () (gdb) thread 2 (gdb) disassemble Dump of assembler code for function __GI___nanosleep: 0x00007ffff7e7b9a0 0: mov %rsp,%r11 0x00007ffff7e7b9a3 3: sub $0x20,%rsp ...对于线程局部变量需要注意访问方式(gdb) disassemble /mr thread_func Dump of assembler code for function thread_func: 5 __thread int tls_var; 6 void* thread_func(void* arg) { 0x000055555555516a 0: 55 push %rbp 0x000055555555516b 1: 48 89 e5 mov %rsp,%rbp 7 tls_var 42; 0x000055555555516e 4: 64 c7 04 25 fc ff ff movl $0x2a,%fs:0xfffffffffffffffc7. 逆向工程中的实用技巧在没有源码的情况下可以通过反汇编推测函数原型。比如看到这样的指令序列0x0000555555555140 0: mov %rdi,%rax # 第一个参数 0x0000555555555143 3: mov %rsi,%rcx # 第二个参数 0x0000555555555146 6: add %rcx,%rax 0x0000555555555149 9: ret可以推断这是一个接收两个long参数并返回它们之和的函数。对于C代码还需要处理name mangling(gdb) disassemble _ZNK3Map10getSizeEv Dump of assembler code for function Map::getSize() const: ...可以用cfilt解码$ cfilt _ZNK3Map10getSizeEv Map::getSize() const8. 性能分析中的反汇编应用通过反汇编可以找出性能热点。比如这个看似简单的循环for(int i0; i1000000; i) { sum data[i]; }反汇编可能显示0x000055555555516a 26: mov (%r15,%rbx,4),%eax # 加载数据 0x000055555555516e 30: add %eax,%ebp # 累加 0x0000555555555170 32: inc %rbx # i 0x0000555555555173 35: cmp $0xf4240,%rbx # 比较i和1000000 0x000055555555517a 42: jne 0x55555555516a main26 # 循环如果发现mov指令耗时高可能是内存访问模式有问题。9. 跨平台反汇编注意事项不同架构的汇编语法差异很大。比如ARM下的同一个函数(gdb) disassemble square Dump of assembler code for function square: 0x00000000004006b4 0: mul w0, w0, w0 0x00000000004006b8 4: ret在GDB中可以用set disassembly-flavor切换Intel/ATT风格(gdb) set disassembly-flavor intel (gdb) disassemble main Dump of assembler code for function main: 0x0000555555555149 0: push rbp 0x000055555555514a 1: mov rbp,rsp ...10. 自动化反汇编技巧GDB的Python API可以批量反汇编函数import gdb for sec in gdb.execute(info files, to_stringTrue).splitlines(): if .text in sec: start, end sec.split()[0], sec.split()[1] print(gdb.execute(fdisassemble {start},{end}, to_stringTrue))还可以创建自定义命令class DisassembleRange(gdb.Command): def __init__(self): super().__init__(disrange, gdb.COMMAND_USER) def invoke(self, arg, from_tty): args gdb.string_to_argv(arg) gdb.execute(fdisassemble {args[0]},{args[1]}) DisassembleRange()使用时直接(gdb) disrange 0x555555555149 0x555555555160