valgrind仅能可靠检测堆数组越界，对栈数组越界基本漏报；因其memcheck不跟踪栈内存字节级合法性，缺乏边界元数据，需依赖asan等编译插桩工具精准捕获。
Valgrind 能检测数组越界访问，但仅限于堆上分配的数组
是的，valgrind --tool=memcheck 能发现堆上（malloc、new 分配）的数组越界读写，比如 int* a = new int[10]; a[10] = 42; 会触发 Invalid write of size 4 报告。但它对栈上数组（如 int a[10];）的越界访问检测能力非常有限——多数情况下不报错，除非越界幅度极大、踩到栈保护页或触发段错误后由内核拦截，此时 Valgrind 只能记录崩溃，无法精确定位越界点。
为什么栈数组越界常被 Memcheck 漏掉
Memcheck 的 Valid-Address 表只精细跟踪堆内存和可动态映射区域的合法性，而栈空间在进程启动时就已划定范围，Valgrind 默认不对整个栈帧做字节级 A 位标记。它更依赖运行时实际发生的非法访存信号（如 SEGV）来间接推断，而非主动拦截每一条栈访问指令。
- 栈变量地址由编译器静态分配，无 malloc 元信息，Memcheck 缺乏“边界元数据”来校验下标
-
--track-origins=yes对栈越界无效，该参数只增强未初始化值来源追踪 - 若越界写入恰好落在相邻栈变量范围内，程序可能静默出错，Valgrind 完全沉默
想可靠捕获栈数组越界，得换工具
Linux 下更合适的选择是编译期插桩：gcc 或 clang 加上 -fsanitize=address（ASan）。它会在栈帧周围插入红区（redzone），并为每个栈变量记录大小，越界访问立即触发详细报告，包括文件、行号、访问类型和栈帧。
- ASan 检测栈/堆/全局区越界，覆盖全面；Valgrind 堆越界强，栈越界弱
- ASan 运行时开销约 2×，Valgrind 约 10–50×，但 ASan 不支持所有架构（如某些嵌入式平台）
- 两者不互斥：先用 ASan 快速定位栈越界，再用 Valgrind 查堆泄漏或 use-after-free
实战中别只靠 Valgrind 报错就认为没越界
看到 Valgrind 没报数组越界，不能当成“代码安全”的证据。尤其当程序出现随机崩溃、输出错乱或条件竞争现象时，栈越界仍是高概率嫌疑对象。必须结合 ASan、静态分析（如 clang++ -Wall -Wextra）、代码审查（检查所有 [i] 下标是否经 i 校验）三者交叉验证。
