Cppcheck无法检测同一文件内指针传递引发的内存泄漏问题求助

针对你遇到的问题，这里有几个可行的方案：

1. 给函数添加所有权注解 #

直接在接收指针的函数上添加Cppcheck专属注解，明确告知该函数不会接管参数的内存所有权：

/* cppcheck:parameter[s] { ownership="no" } */
void f1(const char *s)
{
    printf("f1");
}

这个注解会让Cppcheck知道f1不会释放传入的s指针，从而在main函数中检测到未释放的内存泄漏。

2. 使用全局配置文件批量定义函数行为 #

如果不想逐个给函数加注解，可以创建一个Cppcheck配置文件（比如my_funcs.xml），在里面定义目标函数的参数所有权：

<?xml version="1.0"?>
<def>
  <function name="f1">
    <parameter index="1">
      <!-- 声明第一个参数不会被函数接管释放 -->
      <ownership value="no"/>
    </parameter>
  </function>
  <!-- 可以继续添加其他需要声明的函数 -->
</def>

然后运行Cppcheck时加载这个配置：

cppcheck --library=my_funcs.xml your_code.c

3. 启用更严格的分析级别 #

尝试使用--check-level=exhaustive选项开启更深度的分析，让Cppcheck更细致地检查函数内部是否真的释放了指针：

cppcheck --enable=leak --check-level=exhaustive your_code.c

不过这个方法的效果可能因代码复杂度而异，不如注解方式精准。

补充说明 #

Cppcheck默认会假设被调用函数可能接管指针所有权（即使函数在同一文件内），这是为了避免误报那些确实由被调用函数负责释放的场景。通过上述注解或配置，你可以明确纠正这种默认行为，让Cppcheck准确检测到此类内存泄漏。

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