Memcheck 默认检测所有越界写入，需用 -O0 -g 编译；报告含访问地址、分配上下文及偏移量，支持堆/栈/C++/vector；漏报主因是优化消除、页内未触保护或 padding 写入。
用 Memcheck 检测越界写入最直接
Valgrind 自带的 Memcheck 工具默认就捕获缓冲区越界写（包括栈、堆、全局区），不需要额外开关。只要程序触发了写操作超出分配边界，它就会在 stderr 输出类似 Invalid write of size X 的错误，并附上调用栈。
常见现象：程序没崩溃但行为异常，或只在 Valgrind 下报错；gcc -O2 编译后漏报——因为优化可能把越界访问合并/消除，建议用 -O0 -g 重编译再测。
- 运行命令：
valgrind --tool=memcheck ./a.out - 关键参数：
--track-origins=yes可追查未初始化值来源（对间接越界很有用） - 注意：不加
--leak-check=full不影响越界检测，它只管内存泄漏
堆上越界写：看 allocation context 和 access address
Memcheck 报告里会明确写出「你往哪写了」和「那块内存本该多大」。比如：
Invalid write of size 4 at 0x40053E: main (test.c:7) Address 0x5204044 is 4 bytes after a block of size 12 alloc'd at 0x4848899: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so) by 0x40052B: main (test.c:5)
这里 Address 0x5204044 is 4 bytes after a block of size 12 说明你 malloc 了 12 字节（比如 int arr[3]），却往第 4 个 int 写了——典型数组下标越界。
- 检查
alloc'd行确认分配位置和大小 - 对比
access address和分配起始地址，算出偏移量 - 注意：C++
new、std::vector::data()分配的堆内存同样适用
栈上越界写：依赖编译器插桩，-fstack-protector 不干扰
栈变量越界（如 char buf[10]; buf[15] = 'x';）也能被 Memcheck 捕获，但前提是编译时**不能开启 -fno-stack-protector 以外的激进优化**，且必须带调试信息（-g）。
现象：报告中 Address XXX is on thread 1's stack，后面跟着 is X bytes inside a block of size Y —— 这里的 Y 是编译器为该栈帧预估的局部变量总大小，不是单个数组长度，所以需结合源码行号判断。
- Clang 编译更友好，GCC 有时会因栈帧布局优化导致定位不准
-
-fstack-protector或-fstack-protector-strong不影响 Memcheck 检测，可共存 - 避免用
-O3 -march=native测栈越界，内联和寄存器分配会让报告失真
为什么有时候没报？三个硬限制要盯住
Valgrind 不是万能的：它只能检测「实际发生的内存访问」，如果越界写被编译器优化掉、或落在同一内存页内未触碰保护页、或发生在 mmap 的匿名映射区且未启用 --freelist-vol=，就可能沉默。
- 代码没执行到越界路径（例如条件分支未覆盖）→ 加日志或断点确认执行流
- 越界写进了 padding 区（结构体字段对齐空隙）→ Memcheck 默认不报，加
--track-origins=yes可能暴露间接影响 - 用
mmap(MAP_ANONYMOUS)分配的大块内存 → 需配合--pages-as-bits=yes提高检测粒度（代价是内存占用翻倍）
真正难啃的是那些只在特定数据输入下才触发的越界，这时候得靠复现输入 + --log-file=valgrind.log 保存完整上下文，而不是盯着终端滚动输出猜。
