Valgrind Memcheck 全解析教程：6个程序说明基础内存错误

Valgrind 是一个强大的动态分析框架，其中的 memcheck 工具用于检测 C/C++ 程序中类型不定的内存错误，是基础级内存调试工具的重要选择。

本文将通过 6 段有意义的错误代码，全面讲解 memcheck 的检测原理和输出分析，进而帮助学习者托底基础。

Valgrind 使用一种动态代码插装技术（Dynamic Binary Instrumentation），保留所有内存分配/释放/操作记录，并对每一次访问进行约束性检查：

c 复制代码

char *p = malloc(1);
*p = 'a';
char t = *(p + 1);     // 超级读取
free(p);
*p = 3;               // 释放后写入

Valgrind 输出：

分析： malloc(1) 只有一个 byte，访问 p+1超范围。 free(p) 后再写 *p是释放后操作，是精准级检测值点。

c 复制代码

char *p = malloc(1);
*p = 'a';
free(p);
free(p);

Valgrind 输出：

分析：重复释放将破坏 heap 内部结构，在 glibc 中可能导致 abort()，Valgrind 可精确抓出。

c 复制代码

char p = 'a';
free(p);

Valgrind 输出：

分析： p 是一个普通变量，释放非堆内存是第一级的编程错误，Valgrind 可相当精准地检出。

c 复制代码

char *p = malloc(1);
*p = 'a';
// no free

Valgrind 输出：

分析：程序退出时 heap 中存在未释放内存块，Valgrind 会标记泄漏类型，并可通过 --leak-check=full 查看分配地点。

c 复制代码

char *p = malloc(1);
char t = *p;
printf("chat t = %c\n", t);
free(p);

Valgrind 输出：

分析： malloc 分配的内存是随机值，直接读取而未初始化，会导致打印出的内容非确定，Valgrind 较好地检测读操作是否在可信区域内。

c 复制代码

char *p = malloc(1);
*p = 'a';
free(p);
char t = *p;     // 释放后读
printf("chat t = %c\n", t);

Valgrind 输出：

分析：释放后内存地址成为无效，再读取就是 Use-After-Free 错误，尽管访问成功，结果也是未知行为。

valgrind --tool=memcheck 是分析程序内存问题的重要工具：