invalid free 是指对非 malloc/calloc/realloc 返回的地址调用 free(),如栈变量、字符串字面量、全局数组或已释放/篡改的指针;它与 use-after-free 本质不同,是释放动作本身非法,必须通过 valgrind 结合 -g -o0 定位源头。

Invalid free 是指对非法地址调用了 free()
Valgrind 报 Invalid free(),说明你传给 free() 的指针根本不是由 malloc()、calloc() 或 realloc() 返回的合法堆地址。它不是“释放错了”,而是“压根不该被释放”。
- 常见错误现象包括:
free()一个栈上变量的地址(如char buf[10]; free(buf);) - 释放一个字符串字面量地址(如
free("hello");) - 释放一个全局/静态数组名(如
static int arr[5]; free(arr);) - 重复释放同一块内存(第二次及之后的
free()全部算Invalid free()) - 指针已被
free()过,但没置为NULL,后续又误用
Invalid free() 和 use-after-free 不是一回事
很多人混淆这两者。use-after-free 是释放后继续读写该地址(Valgrind 会报 Invalid read 或 Invalid write);而 Invalid free() 是释放动作本身就不合法——连这块内存是不是堆分配的都不知道,更谈不上“之后”怎么用。
-
Invalid free()错误一定出现在free()调用那一行,Valgrind 的 stack trace 会直接指向它 - 它不依赖于之前是否释放过,只看当前参数是否来自堆分配函数
- 即使那块内存内容还没被覆盖、程序暂时没崩溃,这个
free()调用仍是未定义行为,必须修正
为什么编译器不拦住这种错误?
因为 C 标准允许把任意 void* 传给 free(),不检查来源。编译器无法在编译期判断一个指针是栈地址还是堆地址——它们都是普通数值。只有运行时通过插桩(如 Valgrind 的 Memcheck)才能跟踪每块内存的生命周期和归属。
- 这也是为什么必须用
-g编译:没有调试信息,Valgrind 只能告诉你出错在free(),但定位不到源码行号 -
gcc -O2等优化可能内联或重排代码,让 stack trace 失真,建议排查时用-O0 -g - 注意:
free(NULL)是安全且被标准允许的,Valgrind 不会报错
最容易被忽略的坑:指针值被意外修改
有时你以为传的是 malloc 返回的地址,其实它早被改写了。比如:
char *p = malloc(100); // ... 中间有 p++、p += offset、或被函数意外修改 free(p); // 此时 p 已不是 malloc 返回值,而是某个偏移地址
这种情况下,Valgrind 仍会报 Invalid free(),但错误根源不在 free() 那一行,而在前面的指针算术或函数调用。务必顺着 stack trace 往上查,看 p 是从哪来的、中间是否被改动过。











