阅读报告

Valgrind 报告分为三部分：

• 每一行开头的进程 ID 前缀
• 错误发生时出现的一个或多个错误块
• 程序退出时最后显示的HEAP 和 LEAK SUMMARY

学会阅读每一部分，就能把一大片文本转化为精确的待办事项列表。

每一行 Valgrind 输出都以 ==PID== 开头，例如 ==12345==。

这是进程 ID，并不是程序输出的一部分。当 Valgrind 和程序的 printf 共享终端时，它可以帮助您将 Valgrind 的消息与程序输出区分开来。

下面是一个真实的无效写入错误块：

==12345== Invalid write of size 4
==12345== at 0x4005A1: main (prog.c:6)
==12345== Address 0x520304c is 0 bytes after a block of size 20 alloc'd
==12345== at 0x4838B40: malloc
==12345== by 0x40058E: main (prog.c:5)

第一行会说明错误类型和大小：“Invalid write of size 4”。

大小为 4 表示进行了一次 4 字节访问，通常对应一个 int。在您继续阅读之前，这一行就已经告诉您可能遇到哪一类错误。

at 行表示最内层的栈帧，也就是错误发生的位置。每个 by 行表示一个调用者，即向上一级的调用位置。

请从上到下阅读：越靠上越深，越靠下越浅。第一个包含您自己的文件名的栈帧，几乎总是错误所在的位置。

Address ... 行会说明访问相对于已知内存块的位置：

• 0 bytes after a block of size 20 alloc'd — 刚好溢出内存块末尾
• 4 bytes inside a block of size 4 free'd — 释放后使用
• on thread 1's stack — 栈访问

它还会显示该内存块在哪里被分配或释放。

程序退出时，您会看到分配统计信息：

==12345== HEAP SUMMARY:
==12345== in use at exit: 20 bytes in 1 blocks
==12345== total heap usage: 3 allocs, 2 frees, 1,044 bytes allocated

“in use at exit” 大于零，表示有内容尚未释放。

在堆汇总下面，内存泄漏会按类别统计：

definitely lost: 20 bytes in 1 blocks
indirectly lost: 0 bytes in 0 blocks
possibly lost: 0 bytes in 0 blocks
still reachable: 0 bytes in 0 blocks

添加 --leak-check=full，即可为每个丢失的内存块附加调用跟踪。

最后一行会统计所有内容：

ERROR SUMMARY: 2 errors from 2 contexts

“context” 是一个唯一的错误位置。如果某个错误行在循环中执行了一百万次，它仍然只算一个上下文。您的目标是达到0 errors from 0 contexts。

请有条理地处理报告：

• 首先修复无效访问错误，因为它们会造成数据损坏
• 然后处理未初始化值错误
• 接着处理确定丢失和间接丢失的内存泄漏
• 每次修复后重新运行；一个根本原因通常可以消除多条报告

有些错误来自您无法修复的库，例如 C 运行库或图形驱动程序。请生成一个抑制文件，以静默这些错误，同时不隐藏您自己的错误。

--gen-suppressions=all 会打印可直接使用的抑制条目。您可以保存这些条目，然后通过 --suppressions=file 再次传入。

请解释报告中的一行内容。

现在，您已经能够从头到尾阅读 Valgrind 报告：

• ==PID== 是 Valgrind 行的前缀，用于将其与程序输出区分开来
• 每个错误块都会提供错误类型、大小、堆栈跟踪和地址说明
• HEAP/LEAK 汇总会统计内存分配和丢失的内存
• ERROR SUMMARY 会统计唯一上下文；目标是零错误

请先处理访问错误，再处理内存泄漏，并在过程中不断重新运行。