代码之家  ›  专栏  ›  技术社区  ›  fbrereto

哪些函数注释标志可用于覆盖率扫描?

coverity static-code-analysis code-analysis
  •  0
  • fbrereto  · 技术社区  · 7 年前

    tuning documentation

    • +kill
    • +alloc
    • +free

    但是,在同一页面上有一个指向示例文件的链接,该文件使用了截至目前为止尚未看到的标志:

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

    1 回复  |  直到 7 年前
        1
  •  1
  •   fbrereto    7 年前

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

    例如 toctou 事件标记名称详细信息 here .

    Source

    推荐文章
    orbitcowboy  ·  误报警告PVS Studio:V821性能下降。“rhs”变量可以在较低级别范围内构造
    7 年前
    ab2000  ·  查找Java类的所有可传递依赖项,包括仅通过其接口使用的实现类
    7 年前
    fbrereto  ·  哪些函数注释标志可用于覆盖率扫描?
    7 年前
    Dave New  ·  代码分析规则异常情况
    10 年前
    关于   移动版
    代码之家 - 一站式码农服务社区
    沪ICP备11025650号