【问题标题】:How can we add custom rules for coverity tool?我们如何为覆盖工具添加自定义规则?
【发布时间】:2018-02-05 06:51:09
【问题描述】:

我想添加一些自定义规则以消除某些误报并添加我自己的某些规则(例如 3 级锁应显示为警告,未初始化的变量不应显示为警告等)。

如何将我的自定义规则添加到覆盖率?

【问题讨论】:

    标签: c++ static-analysis coverity


    【解决方案1】:

    听起来您在问如何使用 Coverity Extend SDK 编写自定义检查器,但实际上只需要更改现有内置检查器的行为。第一个应该在付费墙后面有详细的记录(现场课程甚至包含在一些公司交易中,这就是我的做法),但根据我的经验,应该是您最后做的事情— 现有检查器的返回速度要快得多。

    更改单个检查器的行为在其配置选项的文档中进行了介绍(也是付费的),但尚不清楚现有选项是否能满足您的需求,在这种情况下,您可能需要提交增强请求并等待希望。我在我的Dr Dobbs文章http://pobox.com/~flash/Deploying_Static_Analysis.pdf中介绍了这一点,可能比你关心的更笼统。

    【讨论】: