You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

如何在Coverity Analyze中启用指定检查器列表而非全部?

Coverity Analyze 批量启用指定检查器的最佳方法

问题背景

启用全部Coverity检查器的方式有两种:

  • 不指定检查器参数:
    cov-analyze --dir cov
    
  • 使用--all参数:
    cov-analyze --dir cov --all
    

当前仅能通过逐个添加-en参数指定少量检查器:

cov-analyze --dir cov -en STRING_NULL -en NULL_RETURNS

需要了解是否支持通过文本文件批量指定检查器列表,避免手动逐个输入。


解决方案

Coverity Analyze支持通过文本文件批量指定检查器列表,无需手动逐个添加参数,具体步骤如下:

  1. 创建检查器列表文件
    新建一个文本文件(例如checkers.list),每行填写一个检查器名称,支持#开头的注释行和空行(会被自动忽略):

    # 核心检查器列表
    STRING_NULL
    NULL_RETURNS
    BUFFER_OVERFLOW
    USE_AFTER_FREE
    
  2. 使用--enable-file参数加载列表
    在cov-analyze命令中通过--enable-file指定该文件路径即可批量启用检查器:

    cov-analyze --dir cov --enable-file checkers.list
    
  3. 混合使用手动指定与文件加载
    如果需要在批量列表之外额外启用个别检查器,可以同时结合-en参数:

    cov-analyze --dir cov --enable-file checkers.list -en ADDITIONAL_CHECKER
    

内容的提问来源于stack exchange,提问作者tzg

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.07.02 12:21:05