如何抑制Clang静态代码分析器针对此类代码的误报内存泄漏警告？

我最近碰到了和你几乎一模一样的问题——用Clang静态分析器扫描类似下面的遗留代码时，总是弹出误报的内存泄漏警告，常规的//NOLINT或者简单的诊断忽略pragma完全不管用。先给你看看我的代码和遇到的具体情况：

我的代码场景 #

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

typedef struct { int a; } tempStruct1;
typedef struct { int b; } tempStruct2;
typedef struct { tempStruct1 *temp1; tempStruct2 *temp2; } structA;
typedef struct { int c; } structB;
typedef struct { int d; } structC;

void do_something(structA* base) {
    int total_size = sizeof(structB) + sizeof(structC) + sizeof(tempStruct1) + sizeof(tempStruct2);
    base->temp1 = malloc(total_size);
    if (base->temp1) {
        structB* ptr1 = (structB*)(base->temp1 + 1);
        structC* ptr2 = (structC*)(ptr1 + 1);
        base->temp2 = (tempStruct2*)(ptr2 + 1);
        //warning : Potential memory leak [unix.Malloc]
    }
    free(base->temp1);
}

void fun() {
    structA base;
    do_something(&base);
}

int main() {
    fun();
    return 0;
}

遇到的问题 #

这段代码里，我明明在do_something最后调用了free(base->temp1)，所有通过malloc分配的内存都被正确释放了，但Clang静态分析器因为无法识别base->temp2是从base->temp1指向的同一块内存里拆分出来的，误以为这是一块独立分配的内存，就报了Potential memory leak的警告。

我试了//NOLINT注释完全无效，用普通的#pragma clang diagnostic ignored也压不住这个来自静态分析器checker的警告。我用来跑分析器的命令是：

"clang.exe" --analyze -fno-strict-aliasing -fno-common -g -Wall -std=gnu17 -O0 -fomit-frame-pointer -RTCs -ffunction-sections -fxray-instrument -DNDEBUG -DALTERNATE_PCI_SWITCHING_TEST_OFF temp.c

可行的解决方法 #

方法1：用字节偏移的方式赋值指针，让分析器正确识别内存归属 #

把原来的指针递进ptr + 1改成用char*按字节计算偏移，这样Clang分析器能清晰看到所有子指针都来自base->temp1指向的同一块内存：

void do_something(structA* base) {
    int total_size = sizeof(tempStruct1) + sizeof(structB) + sizeof(structC) + sizeof(tempStruct2);
    base->temp1 = malloc(total_size);
    if (base->temp1) {
        char *mem_ptr = (char*)base->temp1;
        // 跳过tempStruct1的空间，因为base->temp1已经指向它
        mem_ptr += sizeof(tempStruct1);
        structB* ptr1 = (structB*)mem_ptr;
        mem_ptr += sizeof(structB);
        structC* ptr2 = (structC*)mem_ptr;
        mem_ptr += sizeof(structC);
        base->temp2 = (tempStruct2*)mem_ptr;
    }
    free(base->temp1);
}

这种写法不需要改变核心逻辑，只是换了指针计算的方式，分析器就能正确判断没有内存泄漏。

方法2：针对Clang分析器的checker精准抑制警告 #

因为这个警告来自静态分析器的unix.Malloc checker，不是普通编译警告，所以要用专门针对分析器checker的pragma来关闭：

void do_something(structA* base) {
    int total_size = sizeof(structB) + sizeof(structC) + sizeof(tempStruct1) + sizeof(tempStruct2);
    base->temp1 = malloc(total_size);
    if (base->temp1) {
        structB* ptr1 = (structB*)(base->temp1 + 1);
        structC* ptr2 = (structC*)(ptr1 + 1);
        
        // 精准关闭unix.Malloc checker的警告
        #pragma clang analyzer_checker push
        #pragma clang analyzer_checker disable "unix.Malloc"
        base->temp2 = (tempStruct2*)(ptr2 + 1);
        #pragma clang analyzer_checker pop
    }
    free(base->temp1);
}

这个方法完全不需要修改逻辑，只是在触发警告的代码块前后用checker专用的pragma来临时关闭对应的检查，比普通的diagnostic忽略更精准，能有效压下这个误报。

方法3：用统一的内存指针追踪分配块 #

分配的时候先保存一个总内存指针，所有子指针都从这个总指针计算偏移，让分析器明确所有指针都属于同一块内存：

void do_something(structA* base) {
    int total_size = sizeof(tempStruct1) + sizeof(structB) + sizeof(structC) + sizeof(tempStruct2);
    void *total_mem = malloc(total_size);
    if (total_mem) {
        base->temp1 = (tempStruct1*)total_mem;
        structB* ptr1 = (structB*)((char*)total_mem + sizeof(tempStruct1));
        structC* ptr2 = (structC*)((char*)total_mem + sizeof(tempStruct1) + sizeof(structB));
        base->temp2 = (tempStruct2*)((char*)total_mem + sizeof(tempStruct1) + sizeof(structB) + sizeof(structC));
    }
    free(total_mem); // 或者free(base->temp1)，因为指向同一块内存
}

这种写法最直白，分析器一眼就能看出来所有子指针都来自total_mem，free之后就不会误报泄漏。

我自己试下来，方法2是最适合遗留代码的，不需要改逻辑，直接精准抑制误报；方法1也很稳妥，不会影响代码功能还能让分析器正确识别。你可以根据自己的情况选一个试试。

内容来源于stack exchange