关于静态分析工具Infer对子函数NeverReturn问题检测差异的技术咨询

嘿，这个问题其实是静态分析工具Infer的典型行为逻辑导致的，我来给你拆解一下：

核心原因在于Infer依赖函数的返回行为标注来推断代码执行路径：

• 对于标准库的exit()函数，Infer内置了它的行为认知——明确知道这是一个「不会返回」（NeverReturn）的函数。所以当你在if(a == NULL)分支里调用exit(1)时，Infer能判断这个分支执行后程序直接终止，后续的int b = *a;代码根本不会被走到，自然不会报空指针引用的错误。
• 但你自定义的die()函数就不一样了：默认情况下，Infer没法自动识别它内部调用了exit()就不会返回。它会默认假设die()调用后可能回到主函数继续执行，那后续的int b = *a;就会存在空指针解引用的风险，所以触发了告警。

要解决这个问题很简单，只要给你的die()函数加上「不会返回」的显式标注，告诉Infer它的行为就行：

#include <stdlib.h> 
#include <string.h> 
#include <errno.h> 

// 用__attribute__((noreturn))标注，明确告诉Infer这个函数不会返回
__attribute__((noreturn)) void *die()
{ 
    exit(1);
}
     
int main()
{ 
    int* a = malloc(10);
    if( a == NULL)
    { 
        // exit(1); 
        die();
    } 
    int b = *a;
    printf("%d",b);
}

加上这个标注后，Infer就能准确识别出调用die()后程序会终止，不会再误报空指针引用啦。

顺便提一句：静态分析工具是靠代码的语法、语义和人工/内置标注来做推断的，不像动态调试那样真的跑代码，所以这类显式的行为标注对工具的分析准确性至关重要～

备注：内容来源于stack exchange，提问作者user28210437