coverity - 覆盖率。配置为忽略源代码的某些部分

Question

寻找一种方法来配置覆盖以忽略某些代码部分。例如，假设我有带有func1and的源代码func2。我不想覆盖分析func1，但我仍然希望它分析func2。有没有办法做到这一点？是否有我可以添加的特殊内联注释？

int func1(int* value)
{
   *value++;

  return 0;
}

int func2(int* value)
{
 *value--;

 return 0;
}

标签： coverity

Answer 1

__COVERITY__您可以使用由 Coverity 编译器定义的预处理器宏来排除一段 C/C++ 代码。例如，要排除func1但包含func2在分析中，请执行以下操作：

#ifndef __COVERITY__           // <-- added
int func1(int* value)
{
   *value++;

  return 0;
}
#endif                         // <-- added

int func2(int* value)
{
 *value--;

 return 0;
}

有关的：

• Synopsys 社区支持问题“忽略特定功能”，其中还描述了使用__COVERITY__.
• Synopsys 支持文章“如何从分析中排除特定路径或文件”，其中描述了skip_file可用于排除整个文件的指令。
• 所以问题“Coverity 为使用 'cov-build' 的构建定义了哪些预处理器符号？” ，事实证明这是一个与此问题类似的问题，尽管从标题中并不清楚（因为它引用了一个假定的解决方案而不是描述问题），因此我不认为它是重复的。