【问题标题】:What function annotation flags are available for Coverity Scan?哪些功能注释标志可用于 Coverity Scan?
【发布时间】:2017-07-18 16:28:03
【问题描述】:

Coverity Scan tuning documentation 讨论了向源文件添加函数注释。列出了三个选项:

  • +kill
  • +alloc
  • +free

但是,在同一页面中,有一个链接指向一个示例文件,该文件使用了尚未见过的标志:

这些标志是什么意思?还有哪些其他标志可用于函数注释,它们记录在哪里?

【问题讨论】:

    标签: code-analysis static-code-analysis coverity


    【解决方案1】:

    显然括号之间的内容应该是 Coverity 事件标签名称。注释应立即位于包含误报的行之前,并将导致该缺陷被标记为故意的(只要它与标记的事件匹配。)

    例如,toctou 事件标签名称详细为here

    Source

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 1970-01-01
      • 2018-01-21
      • 1970-01-01
      • 2011-09-01
      • 1970-01-01
      • 2022-10-14
      • 2020-09-08
      • 1970-01-01
      相关资源
      最近更新 更多