global-buffer-overflow 表示对全局或静态数组的非法索引访问，ASan 报错含该字样且调用链指向 data/bss 段变量（如 double x[5]、static char XXX[10]），非堆/栈分配内存，复现稳定，修复需核对声明长度与访问下标。
直接结论：global-buffer-overflow 表示你读/写了全局（或 static）数组的非法索引，不是栈或堆问题，修复核心是——查清声明长度、核对访问下标、禁用越界访问路径。
怎么确认是 global-buffer-overflow 而不是其他越界？
ASan 报错里明确含 global-buffer-overflow 字样，且堆栈中调用链指向全局/静态数组变量（如 double x[5]、static char XXX[10]），不是 new 或 malloc 分配的内存，也不是函数内局部数组。这类错误在链接阶段就固定了地址，不随运行时变化，所以复现稳定。
- 常见误判点：把
static局部数组当成栈数组（它实际存放在数据段，属 global-buffer 类别） - Clang/GCC 编译时必须加
-fsanitize=address，否则不会触发该检测 - Visual Studio 2019 16.9+ 才支持
/fsanitize=address对全局变量的检测；旧版只报栈/堆问题
典型错误代码与修复方式
看这两个真实例子：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
// example1-main.c
double x[5];
int main() {
int rc = (int) x[5]; // ❌ 全局数组 x 长度为 5，合法下标 0~4，x[5] 是第 6 个元素 → global-buffer-overflow
return rc;
}// example2.cpp
static char YYY[10];
int main(int argc, char** argv) {
int res = YYY[argc * 10]; // ❌ argc 可能为 0/1/2…，当 argc ≥ 1 时，下标 ≥ 10 → 越界
return res;
}- 修复原则：所有对
x[i]、YYY[j]的访问，必须确保i < sizeof(x)/sizeof(x[0])，且i ≥ 0 - 不要依赖“反正 argc 很小”这种假设——ASan 就是来揪这种侥幸心理的
- 若逻辑上确实需要动态长度，请改用
std::array<double, 5>或std::vector<double>，它们自带at()边界检查（但注意operator[]仍不检查）
为什么加了 -fsanitize=address 还没报错？
不是所有全局越界都能被 ASan 捕获，取决于编译器实现和变量声明方式：
立即学习“C++免费学习笔记（深入）”；
- 未初始化的全局 POD 数组（如
int arr[100];）通常能检出；但带 constexpr 初始化或 const 修饰的可能被优化掉检测逻辑 - 结构体内嵌全局数组（如
struct C { static int array[10]; };）需确保编译器版本 ≥ Clang 12 / GCC 11，否则可能漏报 - Windows 下用 MSVC 编译时，
/fsanitize=address对全局变量的支持不如 Clang 完整，建议优先用 Clang-cl 或迁移到 Clang 编译 - 链接多个 obj 文件时，ASan 需要所有源文件都用
-fsanitize=address编译，否则跨文件的全局访问可能逃逸检测
最易被忽略的一点：global-buffer-overflow 不会因「没实际写入」而消失——哪怕只是读取越界位置（如 x[5]），ASan 也会立即中断。这意味着，即使你的程序过去“侥幸运行”，只要存在该访问，就是确定性缺陷，不能靠测试覆盖绕过。
