必须加 -fno-omit-frame-pointer 才能准确定位栈溢出位置，否则 asan 报错调用栈显示 ??；关键字段包括访问类型/大小/线程、出错点行号、被越界变量所属函数及栈内偏移；红区默认32–128字节，vla和alloca不被检测；修复后仍报错常因未全量重编译或部分文件未启用asan。
编译时必须加 -fno-omit-frame-pointer 才能准确定位栈溢出位置
ASan 报 stack-buffer-overflow 时，如果没加 -fno-omit-frame-pointer，调用栈里经常只显示 ?? 或地址偏移，根本看不到函数名和行号。这是因为优化会省略帧指针，而 ASan 依赖它做栈回溯。不加这个选项，等于白开 ASan。
正确做法是：编译和链接都带上 -fsanitize=address -fno-omit-frame-pointer -g -O1。其中 -O1 是底线——-O0 可能掩盖某些栈溢出（比如编译器把局部变量优化到寄存器），-O2 以上又可能干扰红区布局，-O1 最稳妥。
stack-buffer-overflow 报错里哪些字段最关键
ASan 输出中真正有用的三行是：
-
READ of size 4 at 0x7fffe... thread T0—— 看清是读还是写、大小、线程 ID -
#0 0x... in foo() /path/file.cpp:12—— 出错点，但注意：这未必是越界源头，可能是被污染后首次触发访问的位置 -
Address 0x7fffe... is located in stack of function bar() ...—— 这才是关键！它指出被越界的变量属于哪个函数的栈帧，以及该变量在栈上的相对偏移（如offset 32）
例如报错说 Address ... is located in stack of function main() at offset 64，那就立刻去查 main() 里所有局部数组，看哪个离栈底偏移接近 64 字节、且长度不够。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
栈红区（redzone）大小影响检测灵敏度
ASan 在每个局部数组前后插入固定大小的“毒区”（默认 32 字节对齐，栈上红区通常 32–128 字节），越界访问红区才会触发报错。这意味着：
- 只越界 1 字节？大概率能捕获
- 越界超过红区范围（比如写几百字节）？可能直接破坏栈上返回地址或其它变量，导致崩溃前没机会打印 ASan 报错，或者报错信息错乱
- 变长数组（VLA）和
alloca()分配的内存，ASan 不插桩——这类栈溢出它完全不管
所以看到程序崩溃但没 ASan 日志，先怀疑是不是 VLA 或越界太大绕过了红区检测。
为什么修复后还报同样的 stack-buffer-overflow
常见原因有三个：
- 改了代码但没重新编译所有相关 .o 文件，旧目标文件仍含 ASan 插桩逻辑，链接后行为混乱
- 项目用了 CMake 或 Makefile，但只给部分源文件加了
-fsanitize=address，而越界发生在未插桩的模块里——ASan 要求**所有参与链接的目标文件都启用**，否则检测失效 - 错误实际发生在内联函数中，而
-g信息不足导致行号指向外层调用点；可临时加-fno-inline验证
最省事的验证方式：删掉整个 build/ 目录，从头 clean build，再跑一次。很多“修了还不行”的问题，根源就在这里。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
