如何查看堆内存变量分配与排查意外内存修改导致的运行时错误

错误复现代码 #

以下代码会触发 munmap_chunk(): invalid pointer 错误：

#include <vector>
int main(int argc, char* argv[]) {
  std::vector<int> foo(10, 0);
  std::vector<int> bar(10, 1);
  for(int i = 0; i < 20; i++) {
    foo[i] = 42;
  }
  bar.clear(); // 触发 munmap_chunk(): invalid pointer 错误
}

该错误的本质是foo数组越界写破坏了相邻bar堆块的分配元数据，内存释放时分配器校验失败抛出异常。以下是对应问题的解决方案：

1. 直观展示堆内存变量分配情况的方法 #

• 优先使用地址消毒剂（ASAN）：编译时添加-fsanitize=address -g参数，运行程序后不仅会直接定位到越界写的代码行，还会输出完整的堆块布局信息，包括每个堆块的分配/释放调用栈、越界位置对应的堆块归属，无需手动分析堆结构。
• 使用GDB堆分析插件：例如libheap、gdb-heap扩展，加载后可通过内置命令直接dump当前进程所有活跃堆块的地址、大小、分配上下文，也可以筛选出对应C++容器的堆块，直观查看各个变量在堆上的相对位置和边界。
• 内置分配器统计接口：针对glibc的ptmalloc分配器，可在代码中调用malloc_stats()、malloc_info()直接打印当前堆的分配状态和统计信息，适合不方便挂载调试器的测试场景。

2. 监控指定内存地址被意外修改的方法 #

• 使用GDB硬件观察点：先获取待监控的目标内存地址，在GDB中执行watch *<目标地址>（替换为实际十六进制地址），只要该地址的内容被修改，程序会立刻中断，输出当前的函数调用栈，直接定位到执行修改操作的代码。
• 使用ASAN内置监控接口：代码中可调用__asan_set_watchpoint(addr, size, 0)给指定地址范围添加监控，运行时一旦该范围被写入，程序会直接抛出错误并打印完整调用栈，无需挂载调试器，适合自动化测试场景定位问题。
• 使用动态插桩工具：Valgrind、Intel PIN这类动态插桩工具支持记录所有内存访问操作，可筛选出对指定地址的读写操作，回溯修改来源，适合复杂场景下的内存问题排查。

内容的提问来源于stack exchange，提问作者HiroIshida