为何Clang Sanitizer不检测全局变量指向的内存泄漏？

测试代码与现象 #

第一段局部变量版本代码：

#include <stdlib.h>
#include <stdio.h>

int main() {
    void* a = malloc(10);
    printf("%p\n", a);
}

使用编译命令：

clang-19 -std=c23 -fsanitize=address -g -Weverything -o test_mem.exe test_mem.c

运行后，LeakSanitizer成功检测到10字节的内存泄漏。

修改为全局变量版本：

#include <stdio.h>
#include <stdlib.h>

void* a = nullptr;

int main() {
    a = malloc(10);
    printf("%p\n", a);
}

同样编译运行后，未检测到内存泄漏；即使变量改为static修饰，结果一致。

疑问与解答 #

1. 为何全局变量指向的内存未被检测为泄漏？是否无需手动free？ #

全局/静态变量的生命周期贯穿整个程序运行期，C语言标准不会自动释放这类变量指向的堆内存，从内存管理的角度来说，这依然属于内存泄漏。

LeakSanitizer默认不标记这类内存为泄漏，是因为它的默认规则认为：全局/静态变量持有的内存可能是程序设计中故意保留到退出的资源（比如全局缓存、单例实例），所以程序退出时不会将其判定为泄漏。但操作系统会在进程终止时回收该进程占用的所有内存，包括堆内存，但这不属于语言层面的自动释放，依然需要开发者在合适时机手动调用free来避免长期运行时的内存增长。

2. 能否配置Sanitizer检测全局变量相关的内存泄漏？ #

可以通过设置LeakSanitizer的环境变量来开启全局变量泄漏检测：

• 运行程序时设置环境变量：

  LSAN_OPTIONS=detect_global_leaks=1 ./test_mem.exe
  

  该选项会让LeakSanitizer把全局/静态变量持有的未释放内存标记为泄漏。

  如果需要更严格的检测，还可以组合其他选项，比如：

  LSAN_OPTIONS=detect_leaks=1,detect_global_leaks=1,strict_memcmp=1 ./test_mem.exe
  

  另外，也可以在代码中通过__lsan_do_leak_check()函数手动触发泄漏检测（需包含头文件#include <sanitizer/lsan_interface.h>），确保在程序退出前完成检查。

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