4、栈溢出诊断工具：GDB调试器、Valgrind、AddressSanitizer、Core Dump分析、strace

栈溢出这玩意儿，说白了就是程序在栈上写嗨了，把不该碰的内存给踩了。我见过太多同事，代码跑着跑着就崩了，一脸懵地问我：「我代码逻辑没问题啊，怎么就段错误了？」

嗯，这时候别慌。手上有几把趁手的工具，问题就能迎刃而解。今天我就把这五把「刀」给你捋一遍——GDB、Valgrind、AddressSanitizer、Core Dump、strace。每把刀都有它的脾气，用对了地方，事半功倍。

4.1 GDB调试器：栈回溯的「照妖镜」

GDB是我用得最多的工具，没有之一。遇到栈溢出崩溃，我第一反应就是：跑一下GDB，看看backtrace。

# 编译时加 -g 选项保留调试信息
gcc -g -o test test.c

# 启动GDB
gdb ./test

# 运行程序，直到崩溃
(gdb) run

# 查看调用栈
(gdb) bt
# 或者 full backtrace，显示更多细节
(gdb) bt full

# 切换到指定栈帧
(gdb) frame 2

# 查看局部变量
(gdb) info locals

我个人习惯，崩溃后先执行 bt full。为什么？因为它不光告诉你函数调用链，还把每个函数的局部变量值都打印出来。有一次我排查一个递归导致的栈溢出，就是靠 bt full 看到某个局部数组的大小异常，才发现递归深度超过了栈空间。

4.2 Valgrind：内存错误的「侦探」

Valgrind的Memcheck工具，专门抓内存越界、使用未初始化内存、内存泄漏这些问题。栈溢出它也能抓，但有个前提——你得让程序跑起来。

# 使用Valgrind运行程序
valgrind --tool=memcheck --leak-check=full ./test

# 如果只想检查栈相关问题
valgrind --tool=memcheck --track-origins=yes ./test

我曾经在一个项目中，程序偶尔崩溃，但GDB跑几十次才复现一次。后来用Valgrind一跑，立马报出「Invalid write of size 4」——某个函数里局部数组越界了。你想想看，这种偶发问题，没有Valgrind，靠肉眼盯代码得盯到什么时候？

4.3 AddressSanitizer (ASan)：编译期的「守护神」

ASan是Google开发的，现在GCC和Clang都内置支持。它的优势在于——编译时插桩，运行时检测，速度比Valgrind快得多（只慢2-3倍）。

# 编译时加上 -fsanitize=address
gcc -g -fsanitize=address -o test test.c

# 直接运行，ASan会自动检测并报告
./test

ASan报告的信息非常详细：哪一行代码、什么类型的错误（栈溢出、堆溢出、全局变量溢出等）、调用栈是什么。我个人强烈建议，在开发阶段就把ASan开起来。它就像个严格的教官，一有越界就喊停，绝不姑息。

4.4 Core Dump分析：事后「尸检」

程序崩溃后，操作系统会把内存映像保存到core文件里。这就是Core Dump。有了它，你可以像案发现场一样，慢慢分析崩溃时的状态。

# 设置core文件大小不限
ulimit -c unlimited

# 运行程序，崩溃后生成core文件
./test

# 用GDB分析core文件
gdb ./test core

# 然后就可以用bt、frame等命令了
(gdb) bt
(gdb) info registers

我记得有一次线上服务半夜崩溃，没有GDB环境，也没有ASan。幸好core dump开着。我把core文件拉下来，在本地GDB里一分析，发现是某个函数里递归调用太深，栈指针跑到了非法地址。嗯，要是没有core dump，那晚估计得通宵看日志了。

4.5 strace：系统调用的「监控器」

strace不直接检测栈溢出，但它能帮你定位「为什么崩溃」。比如，栈溢出导致访问了非法地址，内核会发送SIGSEGV信号。strace可以捕获这个信号，并告诉你程序在哪个系统调用时挂掉的。

# 跟踪所有系统调用
strace -o trace.log ./test

# 只跟踪信号相关
strace -e trace=signal ./test

# 显示时间戳
strace -t -o trace.log ./test

我遇到过一种情况：程序崩溃前，strace显示 mmap 或 brk 调用失败。这说明栈空间不够用了，系统无法再分配内存。这时候你就知道，不是代码逻辑问题，而是栈大小设置不合理。

4.6 工具对比与选择

我个人建议的排查顺序：先开ASan（开发阶段），崩溃了用GDB看backtrace，偶发问题用Valgrind扫一遍，线上问题靠core dump分析，系统调用异常用strace辅助。五把刀配合着用，栈溢出基本无处遁形。