Coverity 文档

Version: latest

致谢
Coverity 概述
前言
静态分析解决方案
检查器
部署架构
中央分析
本地和中央分析
多个测试模型的优势
部署选项
合并 Coverity 和其他分析工具的结果
使用静态分析
角色和职责
基本工作流
设置
配置
分析
组织、分类和解决
报告
自定义和扩展静态分析
用例
保护 Web 应用程序
解决编码标准违规问题
使用 Coverity 让您的产品在市场上脱颖而出
评估不熟悉的源代码的安全性
安装文档
文档集
在线资源
安装和部署
Coverity 产品概述
支持的平台
安装与部署概述
部署计划概述
实施概述
操作概述
部署计划
部署清单
Coverity 产品如何集成到构建系统中
Coverity 集成和 API
命令行客户端
插件和其他集成
API 参考
Coverity Analysis 部署模型
中央构建部署模型
桌面部署模型（本地分析）
Coverity Connect 部署选项
Coverity Connect 独立部署
Coverity Connect 集群部署模型
Coverity Connect 中推荐的最大限制
其他部署模型和特征
检入前清理
与 Jenkins 自动化构建集成
导出问题
升级 Coverity
升级概述
了解产品名称和安装程序内容
下载安装程序和文档
了解功能变化对升级的影响
调整性能设置
升级 Coverity Connect
升级 Coverity Analysis
升级 Coverity Desktop 插件
升级 Coverity
升级概述
了解产品名称和安装程序内容
下载安装程序和文档
了解功能变化对升级的影响
调整性能设置
升级 Coverity Connect
升级 Coverity Analysis
升级 Coverity Desktop 插件
Coverity Connect
Coverity Connect 用户指南
Coverity Connect 用法
快速入门 Coverity Connect
Coverity Connect 界面
了解主要的 Coverity Connect 工作流
开发工作流
管理工作流
查找问题
按 CID 搜索问题
使用视图查找问题
管理问题
显示源代码选项菜单
文件树
分类问题
事件驱动的分类通知
监控问题
仪表板
视图级图表
Coverity Connect 用户参考
视图
问题：按快照
问题：项目范围
文件
函数
组件
检查器
所有者
快照
趋势
测试
视图管理
编辑设置
另存为副本
筛选器
分组依据
列
快照范围
共享
相关用户
通知
删除
导出 CSV
导出 XML
获得链接
快照比较
快照比较范围语法
快照选择语法使用注意事项
时间筛选器使用语法
示例
特定于视图的电子邮件通知
电子邮件通知用例
应用场景：每周团队电子邮件，用于反映该发行版所有现存未解决问题
应用场景：特定于用户的电子邮件，用于捕获每个新软件问题
应用场景：向单个用户发送电子邮件，说明新分类的问题
应用场景：完成提交后发送通知
计划特定于视图的电子邮件通知
手动触发通知电子邮件
分类属性
分类
严重性
操作
历史遗留
修复目标
所有者
外部引用
注释
偏好设置
Coverity Platform 概述
安装、产品许可证和支持的平台
登录
共享的导览和主菜单工具
“帮助”菜单
键盘快捷键
产品下载
客户反馈 Coverity
Coverity Connect 平台详细
Coverity Connect 文档集
Coverity Policy Manager 使用
Coverity Policy Manager 概述
层次架构
指标
筛选器
报告
仪表板
热图
策略
摘要指标
视图
使用 Coverity Policy Manager 层次架构
导览图表
执行常用 Coverity Policy Manager 操作
设置 Coverity Policy Manager 仪表板
设置 Coverity Policy Manager 热图
设置 Coverity Policy Manager 状态报告
设置 Coverity Policy Manager 趋势报告
Coverity Policy Manager 指标
指标：用户活动
指标：分析
指标：代码
摘要指标：技术负债表
Coverity Policy Manager 筛选器和分区属性
Coverity Connect 管理
配置和管理 Coverity Connect 服务器
配置 Coverity Analysis 更新
存储容量和管理
开发人员工作流
外部网络访问
配置全局所有者分配规则
与 Jira 集成
要求
配置 Jira 导出
JIRA 服务器配置
项目映射
添加项目映射
在使用 Jira Cloud 时分配报告者
对“常量”(Constant) 静态字段使用模板
与其他（非 JIRA）程序缺陷跟踪系统集成
要求
Bugzilla 服务器配置
配置从 Coverity Connect 至 Bugzilla 的项目映射
维护或替换项目映射
变量代替
示例：将 Coverity 字段映射到 Bugzilla 字段
使用 SSL 连接至 Bugzilla 实例
配置自定义检查器描述
配置自定义问题类别
问题分类映射 JSON 格式
配置登录设置
配置本地密码策略
配置软锁定策略
针对 TLS/SSL 配置 Coverity Connect
更新已过期的 TLS/SSL 证书 Coverity Connect
开始更新 TLS/SSL 证书之前，请执行以下操作：准备工作和基本概念
更新 TLS/SSL 证书的场景
应用场景 1.证书续订：重用现有的密钥库和私钥
应用场景 2.替换密钥库
应用场景 3.没有现有的密钥库
重启 Coverity Connect 并验证新证书
更新 TLS/SSL：其他提示、警告和信息
提交加密用例
更新加密处理 Coverity Connect
的登录方法 Coverity Connect
与 LDAP 服务器集成
LDAP 服务器要求
对 LDAP 数据的只读权限
LDAP 服务器类型
LDAP 服务器配置概述
配置 LDAP 服务器设置
LDAP 安全
升级 LDAP 服务器配置设置
停止和启动 Coverity Connect
LDAP 调试工具
配置 Coverity Connect 使用 Kerberos
Kerberos 概述
关键概念
设置
配置浏览器
Kerberos 验证故障排除
配置 Coverity Connect 使用 SAML
使用 SAML SSO 登录
注销 SAML SSO
添加 SAML SSO 配置
SAML SSO 配置参数
创建 SAML SSO 配置
将 SAML SSO 配置与单个 Coverity Connect 用户关联
移除 SAML SSO 配置
支持使用 SAML SSO 自动填充用户信息
添加和配置反向代理服务器
使用 Apache HTTP 服务器设置
添加反向代理验证
Coverity Connect 许可证信息
分析许可证文件
配置电子邮件通知和发送
设置组件订阅通知
设置通知电子邮件中的最大包含缺陷数
更改电子邮件通知的 URL
使用启用 SSL 的电子邮件服务器配置 Coverity Connect
配置您的默认电子邮件以发送视图特定的通知电子邮件
配置日志
Coverity Connect 日志文件
增强的使用日志
收集和交付使用与合规数据 (UDC)
管理使用与合规数据
禁用使用和合规性数据的收集
通过 URL 或导出缺陷处理程序启用问题导出
增加自定义缺陷处理程序的超时持续时间
在 Coverity Connect 界面中禁用项目仪表板
指定提交选项
系统诊断
系统诊断概述
自定义数据库查询
保护 Coverity Connect
健康检查
启用安全代码卫士
配置自定义标志
启用扫描透明度数据的收集
配置和管理数据库
重要注意事项
维护数据库的大小
数据库优化
数据库交叉引用重复数据删除
清除快照详情
配置清除快照详情
重要的升级注意事项
备份嵌入式数据库
有关备份嵌入式数据库的重要注意事项
使用 Coverity Connect UI 备份嵌入式数据库
使用命令行来备份嵌入式数据库
还原嵌入式数据库
客户端 TLS/SSL 证书管理
SSL 概述
TLS/SSL 密钥概念
服务器证书用例
证书管理方面的改进
自签名证书和首次信任 TLS/SSL
Coverity 信任库的类型
传递 CA 证书的步骤
获取 CA 证书
测试 WebSocket 连接
设置 Coverity Connect 以使用上下文路径
管理用户、组和角色
管理用户
设置本地或 LDAP 用户
编辑本地用户或 LDAP 用户
将用户分配到组
管理用户的角色
锁定和解锁用户帐户
解锁所有临时锁定的用户帐户
禁用用户帐户
删除用户
导入用户
限制数据收集范围
使用验证密钥
创建密钥
使用密钥
查看和调用密钥
验证密钥用例
管理组
内置组
设置组
为组分配一个或多个用户
管理组的角色
编辑组
导入 LDAP 组
删除组
角色和基于角色的访问控制
关键概念
Coverity Connect 权限
Coverity Connect roles
了解 Coverity Connect 如何应用角色
在同步的 Coverity Connect 群集中分配 RBAC 角色
主要项目和数据流链接
RBAC 用例
应用场景：通过同步的 Coverity Connect 企业群集授予分类权限
应用场景：委托项目管理
应用场景：限制对项目和数据流管理的访问
应用场景：通过主要项目管理角色
应用场景：授予创建数据流的权限
应用场景：限制 Coverity Desktop 用户的项目访问权限
应用场景：提升角色的权限
关于限制访问的指南
对组件映射图启用基于角色的访问控制
管理关于软件问题的数据
处理项目和数据流
规划您的项目和数据流配置
创建、复制和删除项目和数据流
设置项目
设置数据流
将一个数据流与多个项目关联
复制和删除项目和数据流
导出和导入数据流
按项目或数据流分配角色
为数据流选择问题分类映射
将分析许可证与项目关联
使用搜索筛选器查找项目和数据流
编辑项目和数据流
将数据流与项目关联
在项目级别管理每日趋势记录
为自动删除过期数据流指定数据流
管理数据流的快照
查看快照数据
删除快照
设置数据流中的自动问题所有权分配
为数据流设置 Desktop Analysis 选项
配置分类属性
创建自定义分类属性
自定义属性限制
复制分类属性
编辑分类属性
使用组件
配置组件
导入和导出组件映射图
导出的组件映射图 JSON 元素
用户场景：组件
系统概述
应用场景：组件配置
应用场景：用户工作流程
将角色分配给组件映射图
管理分类数据库
应用场景：在代码分支中共享分类数据（推荐）
应用场景：按代码分支分离分类数据
应用场景：在基于产品的项目中分离分类数据
在从版本 6.0. 或 6.0.1 升级后配置分类数据库
导出的分类数据库 JSON 元素
配置历史遗留问题
将所有新问题设置为历史遗留状态
在升级 Coverity Analysis 后创建历史遗留问题
处理历史遗留问题 Coverity Connect
配置自动分配所有者
自动分配所有者流程概述
设置全局 SCM 规则和 SCM 用户映射
SCM 推导规则
将 SCM 配置为 Coverity Connect 用户映射
设置数据流级别的规则
自定义编码标准
添加自定义编码标准
上传新的自定义编码标准
下载编码标准文件
下载模板文件
更新自定义编码标准
重命名自定义编码标准
隐藏或恢复标准
删除自定义编码标准
配置 Coverity Connect 企业群集
同步多个 Coverity Connect 实例
在群集中同步数据
在群集中配置数据同步
识别协调器和订阅服务器
设置 SSL 证书和信任库
跨集群同步 Coverity Policy Manager 数据
管理多个数据库实例
在群集中备份数据库的工作流
在群集中还原数据库的工作流
将服务器配置为支持 Code Sight
Black Duck Code Sight 插件的服务器管理
将 Coverity Connect 服务器配置为支持 Code Sight 客户端
Desktop Analysis 的服务器管理
设置数据流
创建分析摘要
摘要过期
Desktop Analysis 使用跟踪
分析许可证服务
Coverity Connect URL 构造
导出的缺陷输出
导出的缺陷 URL 变量
导出的缺陷 XML 元素
导出的缺陷 XML 文件
对新用户隐藏内置视图
更改日期格式显示 Coverity Connect
配置 Coverity Desktop，通过 Coverity Connect
通过“下载”页面配置 Coverity Desktop 和共享文件
配置 Coverity Connect“下载”(Downloads) 页面
将 Coverity Analysis 添加到“下载”页面中
添加 Coverity Desktop 更新
添加和移除自定义文件
Coverity Policy Manager 管理
管理 Coverity Policy Manager 层次架构
计划层次架构
配置层次架构
创建层次架构
编辑层次架构
导入/导出 Coverity Policy Manager 层次结构
安排 Extract Transform Load (ETL) 流程
截断 ETL 数据
创建摘要指标
Coverity Policy Manager 角色和权限
安装和升级
Coverity Connect 网络连接要求
Coverity Connect 硬件
数据库大小指南
安装 Coverity Platform 组件
从 Black Duck 存储库下载 Coverity Platform 安装程序
安装 Coverity Connect
Coverity Platform 安装模式
选择安装模式
Coverity Platform 图形安装程序
Coverity Platform 静默安装程序
高级安装选项
结合使用外部 PostgreSQL 数据库与 Coverity Connect
理解 cim.properties 文件中的数据库信息
更改数据库池的活动连接限制
在 config/system.properties 文件中优化额外 RAM 的 JVM 利用
更改并发提交数量
并发提交要求
安装后注意事项
重要建议
获取 Coverity Connect 许可信息
安装多个 Coverity Connect 许可证
停止并启动 Coverity Connect
更改 Coverity Connect 所有者
安装 Coverity Reports
Coverity Reports 安装模式
选择安装模式
Coverity Reports 静默安装程序
Coverity Connect 系统调整、维护和监控
安装后：下一步呢？
cov-analysis 配置和设置
cov-platform 系统配置和设置
Coverity 部署成熟度模型
Coverity Connect 系统和数据库调整
PostgreSQL 数据库调整：嵌入式数据库
修改数据库配置文件
Windows 限制
维护和备份数据库
JVM 设置
必要的 JVM 设置
可选的 JVM 设置
监控和诊断 Coverity Connect 性能
Linux 监控和诊断工具
诊断性能问题
诊断 I/O 问题
Windows 监控和诊断工具
使用性能监控器诊断 Coverity Connect 问题
系统性能参考
构建
分析
提交
在开源数据采集和监控软件中展示 Coverity Connect 应用程序指标
使指标可用
为指标启用日志记录
设置指标显示
Coverity Connect 应用程序指标
Connect UI 系统总计列表
升级 Coverity Connect
升级使用嵌入式数据库的实例
选择升级类型
执行升级：独立部署
升级独立部署的先决条件
执行就地升级（独立实例）
执行备份和还原升级（独立实例）
执行机器间升级（独立实例）
执行升级：群集部署
群集部署重要信息
升级集群部署的先决条件
执行就地升级（群集实例）
执行备份和还原升级（群集实例）
执行机器间升级（群集实例）
升级使用外部数据库的实例
针对使用外部数据库的实例就地升级
针对使用外部数据库的实例执行备份和还原升级
Coverity Connect 升级环境变量参数
升级 Coverity Desktop
升级 Coverity Desktop for Eclipse/Wind River
升级 Coverity Desktop for Visual Studio
升级 Coverity Desktop for IntelliJ IDEA 和 Android Studio
从备份和恢复或机器间升级回退到 Coverity Connect 的版本
Coverity 产品组件：支持的版本和兼容性
Coverity Connect 和 Coverity Reports 支持的平台
Coverity Analysis
Coverity Analysis 概述
Coverity Analysis 入门
角色和职责
用例
捕获可使用模型
运行 Coverity 扫描的安全注意事项
在 Coverity 云部署内执行分析
云端 Kubernetes 集群内分析简介
Thin Client 语言支持
安装客户端软件
在客户端系统上安装 Coverity Thin Client
在客户端系统上安装完整的 Coverity Analysis 客户端
使用 Black Duck Bridge CLI 将 Thin Client 分析集成到管道中
创建项目和数据流
执行分析：云端与本地
创建 Coverity 配置文件
设置 TLS 和证书以在云中进行分析
使用集群配置客户端验证
分析位置
指定异步或同步分析
扫描工作流
启动扫描
关于 Kubernetes 中的扫描服务缓存
缓存密钥
准备从 Full Client 启动扫描服务分析
管理和查看在云中执行的分析状态
打开扫描列表视图
扫描列表视图
取消扫描
下载日志和报告
通告
使用 Coverity 检查器进行分析
使用 Black Duck Bridge CLI 将完整 Coverity Analysis 集成到管道中
生成分析的步骤
先决条件
配置
捕获
构建捕获（为编译的语言）
.NET 构建捕获
分析
提交
查看问题
正在交互分析源代码
Coverity Analysis 步骤：更多信息
配置：调用 'cov-configure'
捕获：按语言构建选项
捕获：示例
捕获：有关构建捕获的更多说明
分析：特殊情况
分析：分析摘要报告
支持 Coverity 分析的任务
启用或禁用检查器
使用自定义模型来改进分析结果
使用模型来模拟缺少源代码的函数或方法
使用模型来调整全局分析
在分析中使用 Coverity Analysis 配置文件
使用替代配置文件名称和指令
在配置文件中指定命令行选项
使用 <cim> 标记指定提交选项
使用 <prevent> 标记指定目录和输出选项
更改编译器配置
运行 Web 应用程序安全分析
针对 Java Web 应用程序运行安全分析
发出 Web 应用程序档案或目录（仅构建捕获）
针对 ASP.NET Web 应用程序运行安全分析
捕获 ASP.NET Core（2.0 或更高版本）Web 应用程序
捕获 ASP.NET（4.0 或更低版本）Web 应用程序
运行移动应用程序安全分析
针对 Android 移动应用程序运行安全分析
Java Android 应用程序
Kotlin Android 应用程序
混合（Java 和 Kotlin）Android 应用程序
针对 iOS 移动应用程序 (Swift) 运行安全分析
针对 Android 或 iOS 移动应用程序 (Dart) 运行安全分析
运行编码-标准分析
编码-标准和分析准则
运行 Fortran Syntax Analysis
使用高级分析技巧
增量分析、并行分析和桌面分析
增量分析
并行分析
桌面分析
作为 CI/CD 管道的一部分运行分析
分析配置的环境变量
使用 'cov-analyze' 选项调整分析
运行分析而不使用 'cov-build'
使用 'cov-make-library' 命令
确定分析和调用的函数
抑制宏扩展以改善建模
为函数添加原型
运行分析，对 C 和 C++ 源代码使用推导模型
配置编译器用于 Coverity Analysis
生成模板配置
生成完整配置
使用 'ccache' 或 'distcc'
编译器特定配置
Clang 编译器
支持的语言扩展
适用于 Clang 编译器的受支持合规标准
Clang 限制
CEVA 编译器
Embarcadero C++ 编译器
Freescale Codewarrior 编译器
GNU 编译器
Green Hills 编译器
HighTec 编译器
Intel oneAPI 编译器
Keil 编译器
Microchip 编译器
Microsoft Visual C 和 C++ 编译器
PICC 编译器
QNX 编译器
Qualcomm Kalimba C 编译器
Renesas 编译器
STMicroelectronics 编译器
Sun (Oracle) 编译器
Synopsys MetaWare 编译器
Tensilica Xtensa C 和 C++ 编译器
Texas Instruments C 和 C++ 编译器
Trimedia C 和 C++ 编译器
为 Coverity Analysis 特定的编译使用预定义的宏
修改预处理器行为来改进兼容性
Coverity 语言支持
设置 Coverity Analysis 以用于生产环境
中央部署模型
Coverity Analysis 部署注意事项
敏感数据可能会保留在本地计算机上
将 Coverity Analysis 集成到构建系统中
中间目录
将 Coverity Analysis 集成到构建环境中 — 'cov-build'
'cov-build' 的输出：'build-log.txt' 日志文件
构建非 ASCII 源代码
检测分析警告、分析错误和构建失败
查看分析错误
预处理源文件
预处理后再构建
假设测试
在不重新运行构建的情况下重新运行失败的编译
获取链接信息
记录/重播：延迟构建和并行运行单一流程构建
运行 'cov-build' 并使用 '--record-only'
运行 "cov-build" 并使用 "--record-with-source"
使用命令处理时错误
构建问题故障排除
平台特定的 "cov-build" 问题
Linux
Solaris
Windows
FreeBSD
AIX
替代构建命令： 'cov-translate'
'cov-translate' 命令代替原生编译器
运行并行构建
单机器上的单个构建
单机器上的多个构建
多台机器上的多个构建
在 NFS 分区中共享共同的中间目录
从本地磁盘复制中间目录
使用 TLS/SSL Coverity Analysis
信任库概述
TLS/SSL 证书的安全注意事项
将 Coverity Analysis 配置为使用 TLS/SSL
使用信任库
查看“首次信任”证书
查看证书颁发机构证书
解释证书文件
将证书添加到 ca-certs.pem
从信任库中删除“首次信任”证书
从 ca-certs.pem 中删除证书
使用远程工作进程作业管理资源限制
远程工作程序 SSH 配置字段
结合使用网络文件系统 (NFS) 与 Coverity Analysis
Coverity Analysis 更新
捕获特定的构建系统
使用 Xcode 构建
构建使用预编译头文件的 Xcode 项目
构建使用适用于 Xcode 11 的 Apple 现代构建系统的项目
构建使用 Xcode 10 的项目
使用 Visual Studio or .NET SDK (‘dotnet’) 构建
使用 Cygwin 构建
包含 SCM 数据
使用覆盖率数据导入和提取实用程序
在目录层次架构下添加文件
基本工作流
缓存文件以利用早期 SCM 流程
SCM 修订格式
不包含 SCM 数据的文件
使用 Bazel 构建
要求和限制
启用构建捕获
安装 Coverity Analysis
配置编译器
执行构建
自定义：编译助记符
使用 Sigma 检查器进行的分析
从 Rapid Scan Static (Sigma) 导入分析结果
升级 Sigma
使用编译器集成工具包 (CIT)
编译器集成概述
在开始前
基本要求
Coverity Analysis 构建系统
'cov-configure' 命令
'cov-translate' 命令
'cov-preprocess' 命令
'cov-test-configuration' 命令
了解编译器配置
'coverity_config.xml' 中的 <compiler> 标记
'coverity_config.xml' 中的 <options> 标记
用于本机预处理的标记
跳过编译的标记
影响转译的标记
用于将本机命令行转换为 Coverity 编译器的标记
适用于命令行转换阶段的标记
从 'cov-build' 内部传递信息的标记
用于处理响应文件的标记
用于处理响应文件中的注释行的标记
指示选项应用于哪些组的标记
编辑 Coverity 配置文件 — 'coverity_config.xml'
使用编译器集成工具包 (CIT)
编译器集成工具包 (CIT) 编译器配置文件
<cit_version> 标记
<compiler> 和 <variant> 标记
特定于编译器集成工具包 (CIT) 的 <options> 标记
用于调用本机编译器和探测的标记
<config_generic_info> 标记
测试标记
其他配置标记
编译器 switch 文件
编译器兼容性头文件
自定义转译代码
为新编译器创建编译器集成工具包 (CIT) 配置
通过现有编译器集成工具包 (CIT) 执行创建编译器
推导编译器的配置格式
推导 switch 文件和兼容头文件
构建集成故障排除
为什么没有生成构建日志？
我看到一条头文件错误：expected an identifier
我看到一条头文件错误：expected a ';'
为什么找不到标准头文件？
我看到消息：#error No Architecture defined
使用第三方集成工具包
第三方集成工具包概述
运行第三方集成工具包
导入文件格式和说明
导入文件格式示例
导入格式说明
容量和性能
Coverity Analysis 故障排除
Windows 系统
所有操作系统
使用 Cygwin 调用 'cov-build'
查找第三方许可证
不兼容的 #import 属性
安全手册
开发安全相关软件的简介
第三方软件
故障模式
Coverity 安全动态分析
Coverity 模板动态分析
Coverity Analysis 引擎
Coverity Connect 和 Coverity Desktop
新增网络安全功能
适用标准和范围
工具错误检测
标准合规性
文档和支持
Coverity Fortran Syntax Analysis User Guide
Introduction to Coverity Fortran Syntax Analysis
What does Coverity Fortran Syntax Analysis do?
Why Use Coverity Fortran Syntax Analysis?
Application Areas
This manual
Tutorial
Basic Operation
Analyzing a single source file
Enabling Warning and Information Messages
Producing a source listing with cross-references
Analyzing more than one source file
Analyzing all source files in one or more directories
The program analysis
The reference structure or call tree
The module dependency tree
Using library files
Using modules
Using third-party libraries
Portability and conformance to standards
Standard conformance
Compiler emulation
Setting your own, or company standard
Cross-platform development
Using include files
Multi-platform development
Operation
Using Coverity Fortran Syntax Analysis
Specifying a list file
Specifying a library file
Options
Configuration selection options
Other control options
Program-unit analysis
Global program analysis
Output
Library
Miscellaneous
Defaults
The usage of analysis options
Exit status
The usage of include files
Coverity Fortran Syntax Analysis library files
The usage of modules
Maintaining library files
Maintaining library files in command mode
Examples
The usage of language extensions
Compiler emulation and include files
Generating Fortran 90 interfaces
Operation of interf from the commandline
Storing the Reference structure and dependency of modules
Messages
Operational messages
Analysis messages
System messages
Redefinition and suppression of messages
Temporary suppression of messages
Reporting messages
Tuning the output
Line or statement numbering
Date and time format
Analysis
Program unit analysis
Interpretation of source code records
Lay-out of source code listing
Syntax analysis
Type verification
Local verification of argument lists
Verification of procedure entries
Intrinsic procedures
Function procedure
Program-unit cross references
Reference structure (Call tree)
Analysis of the reference structure
Display of the reference structure
Display of sub trees of the reference structure
Reference structure in XML format
Display of module dependencies
Display of dependencies for specific modules
Display of module dependencies in XML format
Global program analysis
Verification of procedure references
Verification of argument lists
Verification of common blocks
Verification of modules
Global program cross references
Cross references of common-block objects
Cross references of public module derived types
Cross references of public module data
Specification of procedure interfaces
Using FORTRAN 77 syntax
Using Fortran 90 syntax
Using Coverity Fortran Syntax Analysis attributes
Metrics
Final report
Supported Fortran syntax
Compilers supported
General language extensions supported
Absoft Fortran 77 extensions
Apollo/Domain Fortran extensions
Compaq Fortran extensions
Convex Fortran extensions
Cray Fortran 77 extensions
Cyber NOS/VE Fortran extensions
DEC PDP-11 Fortran-77 extensions
DEC FORTRAN and VAX Fortran extensions
Digital Research Fortran-77 extensions
F2c Fortran 77 extensions
GNU Fortran 77 extensions
HP-UX FORTRAN/9000 and HP Fortran 77 extensions
IBM AIX XL FORTRAN extensions
IBM VS Fortran V2 extensions
Intel Fortran extensions
Lahey F77L Fortran-77 extensions
Microsoft Fortran extensions
NDP Fortran extensions
Oracle Fortran extensions
Prime Fortran-77 extensions
Salford Fortran extensions
Silicon Graphics MIPSpro Fortran 77 extensions
Sun Fortran 77 extensions
Unisys 1100 Fortran-77 extensions
Watcom Fortran 77 extensions
The configuration file
EXTENSIONS
INTRINSICS
OCI (OPEN/CLOSE/INQUIRE) specifiers
MESSAGES
OUTPUT
VARIOUS
Fortran 77 language extensions table
Fortran 90/95/2003/2008/2015 language extensions table
Limitations
Configuration determined limits
History of changes
Message summary
References
Fortran Glossary
Coverity Compliance 指南》
关于本指南
Coverity 合规性筛选概述
调查结果简介
工作流
合规性筛选要求
支持的编码标准
规范问题的创建
优先级筛选器/结果报告电子表格
运行代码分析
生成结果报告
分析结果报告
创建筛选策略
生成测试结果报告
上传优先级筛选器
更新或移除优先级筛选器
使用得分确定开发任务的优先级
添加得分列
按得分筛选
配置和生成 Coverity 报告
编码标准与合规性报告
了解偏差
报告中的偏差
配置报告生成器
配置概述
支持的报告类型版本
一般考虑事项
标准方案元素
连接方案元素
问题截止方案元素
区域设置方案元素
项目方案元素
快照方案元素
报告筛选元素
标题页方案元素
方案版本元素
特定报告的方案元素
CERT 报告
Coverity Integrity Report
安全报告
Black Duck 软件集成报告
DISA ASD STIG 报告
统一配置文件
Coverity CERT 报告
概述
使用报告生成器
安装报告生成器
连接至 Coverity Connect
生成 BDSIR 报告
CERT 报告配置文件
使用系统环境变量
生成之前配置的报告
解释 CERT 报告
Coverity CVSS 报告
CVSS 简介
记分卡元素
分类属性
CVSS 报告配置文件
安装报告生成器
使用 Coverity CVSS 报告生成器
生成 BDSIR 报告
CVSS 报告配置文件
使用系统环境变量
CVSS 报告输入文件
本地化报告
Coverity DISA ASD STIG report
概述
使用报告生成器
安装报告生成器
DISA ASD STIG 报告配置文件
生成 BDSIR 报告
解析 DISA ASD STIG 报告
Coverity Hyundai 报告
概述
使用报告生成器
安装报告生成器
Hyundai 报告配置文件
生成 BDSIR 报告
使用系统环境变量
解释 Hyundai 报告
Coverity Integrity Report
概述
缺陷评级
建议的分析配置
要求
使用报告生成器
安装报告生成器
Coverity Integrity Report 配置文件
生成 BDSIR 报告
本地化报告
Coverity MISRA 报告
MISRA 报告概述
MISRA 合规性
使用报告生成器
安装报告生成器
连接至 Coverity Connect
生成 BDSIR 报告
创建使用基于 MISRA 类别的自定义标准的报告
MISRA 报告配置文件
使用系统环境变量
生成之前配置的报告
本地化报告
Coverity OWASP Web Top 10 报告
概述
使用报告生成器
安装报告生成器
OWASP Web Top 10 报告配置文件
生成 BDSIR 报告
解释 OWASP Web Top 10 报告
Coverity 移动 OWASP Top 10 报告
概述
使用报告生成器
安装报告生成器
移动 OWASP Top 10 报告配置文件
生成 BDSIR 报告
解释移动 OWASP Top 10 报告
Coverity PCI DSS 报告
概述
使用报告生成器
安装报告生成器
PCI DSS 报告配置文件
生成 BDSIR 报告
解析 PCI DSS 报告
Coverity Security report
Security Report 概述
使用报告生成器
安装报告生成器
连接至 Coverity Connect
生成 BDSIR 报告
GUI 配置
安全报告配置文件
生成之前配置的报告
解释安全报告
严重性映射：将技术缺陷映射至严重性级别
创建自定义严重性映射
安全分数、严重性映射和保证级别
了解记分卡
自定义安全报告
本地化报告
使用系统环境变量
Black Duck 软件集成报告
概述
安装报告生成器
设置和配置
设置 Black Duck 软件集成报告生成器
配置 Black Duck 软件集成报告
Black Duck 软件集成报告配置文件
使用系统环境变量
通过 GUI 生成报告
通过命令行生成报告
PDF 报告大纲
详细结果
Analysis 命令
Coverity Analysis 命令
cov-analyze
提要
描述
选项：攻击性级别：
选项：分析
选项：Apex 检查器
选项：审计
选项：Brakeman 检查器
选项：C、C++、Objective-C、Objective-C++
选项：C#
选项：检查器
选项：合规检查器
选项：自定义检查器和 CodeXM
选项：Extend SDK
选项：Java
选项：Java 分析
选项：JavaScript、TypeScript
选项：Java SpotBugs
选项：Kotlin detekt
选项：指标
选项：模型
选项：共享
选项：Sigma
选项：Web 和移动应用程序安全
退出代码
示例
另请参阅
cov-blame
提要
描述
选项
退出代码
另请参阅
cov-build
提要
描述
C、C++、C# 和 Visual Basic 捕获构建
Go 构建捕获
Java 和 Kotlin 构建捕获
构建捕获示例
Java 和 .NET 源代码的安全动态分析
选项
退出代码
另请参阅
cov-collect-models
提要
描述
选项
退出代码
另请参阅
cov-commit-defects
提要
描述
使用转发代理
选项
退出代码
示例
cov-configure
提要
描述
语言特定配置
选项
退出代码
另请参阅
cov-count-lines
提要
描述
选项
退出代码
示例
cov-emit
提要
描述
选项
退出代码
另请参阅
cov-emit-cs
提要
描述
选项
退出代码
cov-emit-go
提要
描述
选项
退出代码
cov-emit-java
提要
描述
选项
退出代码
示例
另请参阅
cov-emit-vb
提要
描述
选项
退出代码
cov-extract-scm
提要
描述
选项
退出代码
另请参阅
cov-find-function
提要
描述
选项
退出代码
示例
cov-format-errors
提要
描述
正则表达式
选项
退出代码
cov-format-sarif-for-github.js
提要
描述
选项
示例
cov-generate-hostid
提要
描述
选项
退出代码
示例
cov-help
提要
描述
环境变量
退出代码
cov-import-msvsca
提要
描述
选项
退出代码
另请参阅
cov-import-results
提要
描述
选项
退出代码
cov-import-scm
提要
描述
选项
退出代码
另请参阅
cov-import-sigma
提要
描述
选项
cov-install-updates
提要
描述
子命令
子命令选项
连接选项
共用选项
退出代码
示例
另请参阅
cov-link
提要
描述
选项
退出代码
示例
另请参阅
cov-make-library
提要
描述
选项
退出代码
另请参阅
cov-manage-emit
提要
描述
选项
基本选项
非筛选子命令
具有可选筛选的编译单元子命令
具有必需筛选的编译单元子命令
列出输出数据库信息
重新编译
反编译
编译单元模式匹配
共用选项
退出代码
示例
另请参阅
cov-manage-findings
提要
描述
选项
退出代码
示例
cov-preprocess
提要
描述
选项
退出代码
另请参阅
cov-record-source
提要
描述
选项
退出代码
另请参阅
cov-run-desktop
提要
描述
编译单元选择
有关 Git 超大项目的说明
正则表达式
选项类别
选项
退出代码
另请参阅
cov-run-fortran
提要
描述
Fortran 输入
Fortran 输出
选项使用
选项类别
选项
退出代码
另请参阅
cov-run-sigma
提要
描述
选项
cov-security-da
提要
描述
选项
另请参阅
cov-setup-bazel-registry
提要
描述
选项
cov-support
cov-test-configuration
提要
描述
示例
选项
退出代码
另请参阅
cov-translate
提要
描述
示例
选项
退出代码
另请参阅
cov-upgrade-static-analysis
提要
描述
选项
退出代码
Coverity Analysis Ant 任务
covanalyzeandcommit
covbuild
Coverity CLI 命令
coverity analyze
coverity capture
coverity commit
coverity help
配置语法帮助
coverity list
coverity scan
coverity setup
Report-generation commands
Coverity CERT 报告
cov-cert-report
cov-generate-cert-report
CVSS 报告
cov-generate-cvss-report
Coverity DISA ASD STIG Report
cov-generate-disa-stig-report
Hyundai 报告
cov-generate-hyundai-report
Coverity Integrity Report
cov-generate-integrity-report
MISRA 报告
cov-misra-report
cov-generate-misra-report
OWASP Web Top 10
cov-generate-owasp-report
移动 OWASP Top 10
cov-generate-mobile-owasp-report
PCI DSS
cov-generate-pci-dss-report
安全报告
cov-security-report
cov-generate-security-report
Black Duck 软件集成报告
bd-integrity-report
bd-generate-integrity-report
Coverity 安全指令说明书
安全配置文件
指令的使用
安全威胁
定义自定义检查器
特定于检查器的指令
支持的语言
如何调用自定义配置
配置文件语法
配置文件支持的 JSON 扩展
JSON 术语
方案
顶层值
当前受支持的版本
配置文件中的对象
配置文件的使用
用户指令
android_protected_intent_actions
android_safe_categories
async_method
class_like_print_writer_for_servlet_output
csrf_check_needed
csrf_validator
data_has_tag
dataflow_checker_name
dataflow_through_callsite
dc_checker_name
define_lookup_method_call_map
ignore_all_argument_dataflow_to_method
ignore_method_dataflow
ignore_method_output
local_callback
map_read
map_write
method_returns_constant
method_returns_param
method_returns_servlet_output_stream
method_returns_tainted_data
method_set_for_dc_checker
method_with_servlet_sinks_on_input
method_with_servlet_sinks_on_output
move_xss_outside_method
sanitizer_for_checker
sensitive_action
sensitive_operation
simple_entry_point
sink_for_checker
tainted_data
text_checker_name
xss_sanitizer_method
将格式从版本 8 迁移到版本 12
用户指令使用的其他对象类型
AccessPathElement
AnnotationSet
named
matching
CallsiteSet
callsite_with_static_target
call_on
new_on
CallsiteCondition
ClassName
ClassSet
named
matching
with_super
with_annotation
HtmlOutputContext
html_attribute_value_where_name_is_from_param
html_prefix
示例
InputAndAccessPathSpecifier
InputTaint
InputTag
InputValue
IssueTypeDefinition
MethodCallSpecifier
method_call
lookup_by_constant_param
MethodName
MethodSet
named
matching
overrides
implemented_in_class
and
with_annotation
OutputAndAccessPathSpecifier
ParamIn
ParamOut
ReadableProgramData
from_callsite
read_from_object_with_tag
read_path_off_global
read_off_any
read_from_js_require
read_from_HANA_library_import
RegularExpression
ReturnConstant
SinkKind
TaintKind
TaintKindGroup
TextPattern
regex
xpath
WritableProgramData
to_callsite
write_to_object_with_tag
write_path_off_global
write_off_any
自定义指南
自定义 Coverity
Coverity Analysis 概述
全局自定义选项
全局分析选项
数据源的全球信任模型
取决于检查器、语言或其他上下文的选项
检查器选项
自定义 API 模型
代码内注解
安全分析指令 (JSON)
创建新检查器
自定义数据流和文本检查器（JSON 指令）
CodeXM 检查器
创建检查器的历史遗留方法
启用和禁用检查器
使用“cov-analyze”启用和禁用检查器
更改已启用的检查器集合
启用编译警告检查器（PW.*、RW.*、SW.*）
更改启用的解析警告
识别易受攻击的数据
被污染的数据概述
被污染数据的示例
污染类型信任选项
被污染数据的类别
代码库中的污染源
敏感数据概述
敏感数据源类型
模型和原语
用例
不可用的源代码模型
Coverity Analysis 派生的模型无效
添加自定义模型
建模原语
污染枚举
创建搜索顺序模型
C/C++ 中的模型
C/C++ 示例
示例：覆盖默认 C 模型
添加 C 模型以模拟内存分配
替换内置模型以减少缺陷报告数
函数指针的模型
为函数添加 Killpath 的模型
向“special_abort”模型添加 Killpath
并发模型
添加 C++ 模型
C++ 模型的一般注意事项
添加 C ++模型以优化内存分配的分析
虚拟函数模型 (C++)
模板的模型 (C++)
C/C++ 原语
C/C++ 资源管理原语
C/C++ 安全原语
已废弃的 C/C++ 安全原语
用于管理误报的 C/C++ 原语
C/C++ 并发原语
C# 和 Visual Basic 中的模型
C# 和 Visual Basic 示例
为不可信（被污染的）数据源建模的原语
用于对敏感数据的源代码进行建模的原语
C# 和 Visual Basic 原语
C# 和 Visual Basic 引用对象原语
C# 和 Visual Basic 安全原语
C# 和 Visual Basic 其他作用和实用程序原语
C# 和 Visual Basic 并发原语
Go 中的模型
Go 示例
为不可信（被污染的）数据源建模的原语
用于对敏感数据的源代码进行建模的原语
Go 原语
Go 安全原语
Go 其他作用和实用程序原语
Go 并发原语
Java 中的模型
Java 示例
Java 接口方法的模型
资源泄漏的模型
为不可信（被污染的）数据源建模
为不能流入被污染数据的方法（污染泄露点）建模
添加字段被污染或未被污染的断言
抑制对方法的缺陷报告
生成 Java Web 应用程序安全模型
Java 原语
Java 资源泄漏原语
Java 安全原语
Java 敏感数据原语
Java 副作用原语
Java 释放后使用原语
Java Coverity 原语
Java Android 原语
Java 迭代器原语
Java 并发原语
加密原语
C/C++ 加密原语
值映射字符串
C# 和 Visual Basic 加密原语
Java 和 Kotlin 加密原语
加密原语使用的枚举
算法
BlockMode
填充
实施
操作
SSL_Protocol
分析注解
C/C++ 中的注解
C/C++ 代码行注解
特殊 Coverity Connect 分类
FALSE 分类
SUPPRESS 分类
注释记录
C/C++ 函数注解
C/C++ “#pragma”指令和“_Pragma()”运算符
注解合规性偏差
“#pragma coverity compliance”指令
“#pragma coverity compliance”指令：更多示例
“_Pragma()_”合规性运算符
C# 和 Visual Basic 中的注解
向 C# 或 Visual Basic 源代码添加注解
.NET 代码的“Tainted”和“NotTainted”属性
.NET 代码的“SensitiveData”属性
Java 中的注解
向 Java 源代码添加注解
Java 代码的“@Tainted”和“@NotTainted”属性
Java 代码的“@SensitiveData”属性
分析警告配置文件
Coverity CodeXM Checkers Development Guide
Introduction to CodeXM
Nullable types
Interactive checker development
Learning to write CodeXM checkers
QuickStart tutorial
Writing your first CodeXM checker
Running your CodeXM checker
Further reading
How to write a CodeXM checker
Reviewing basic CodeXM concepts and exercises
Basic pattern matches and conditions
Decomposing a pattern to match specific properties
Using the filtering operator
Creating custom patterns
Returning objects from patterns
Finding a literal argument value
Handling null values
Using the 'exists' expression
Defining CodeXM variables
CodeXM types
Using switch statements
Using conditional expressions
Using the 'debug()' function
Defining CodeXM functions
Including other CodeXM files
Finding built-in code patterns
Function properties
Path-sensitive analysis
Writing an A_THEN_B checker
Writing your own Don't Call checker
A CodeXM style guide
Alternatives in patterns
Anonymous functions
Braces
Comments
Conditional Expressions
Constants
Enum, list, record, and set literals
'for' loops
Functions
Identifiers
'let' bindings
Multiline logical expressions
Pattern decompositions
Spacing and line length
'switch' expressions
Syntax reference
Describing syntax
Syntax diagrams
Extended Backus-Naur form
CodeXM character set
White space and comments
How does Coverity Analysis work?
CodeXM file-level elements
Specifying the target language
The identifier
The CodeXM-File
The checker-definition
Example of a checker
The 'defineIssueType()' function
The const-definition
The forward-declaration
The function-definition
Generic parameters
The function-property-definition
The include-directive
The pattern-definition
The type-definition
Expressions
The expression
Operator precedence
The 'default' operator
The addition-expression
Null coalescing
The binary-expression
The call-expression
The comparison-expression
The conditional-expression
The decomposing-pattern-expression
The comparand-expression
The element-access-expression
The exists-expression
The for-accumulate-expression
Initializing the accumulator
The logic of for-accumulate
The for-loop-expression
The result of a for-loop
The result of a checker
Visualizing a for-loop
The happens-before-expression
The 'sequence()' function
The if-exists-expression
The result of if-exists
The if-expression
if-expression behavior
The lambda-expression
The let-binding-expression
Using let-binding
The list-expression
list-expression behavior
The literal-expression
The enum-literal-expression
The int-literal-expression
The string-literal-expression
string-literal details
'null' and 'NonNull'
'true' and 'false'
The logical-expression
The matches-expression
The multiplication-expression
The pattern-expression
The match-list
The property-access-expression
The record-expression
The record-update-expression
The set-expression
The set-filter-expression
The switch-expression
The unary-expression
The variable-expression
The CodeXM type system
The type
The builtin-type
The eventstring
The collection-type
The type_of_empty_list
The enum-type
The function-type
The globalset-type
The named-type
The node-type
The nullable-type
The type_of_null
The pattern-type
The record-type
CodeXM keywords
Common library reference
Filtering target code
allCodeIn( theCode )
allMatchingCodeIn( desiredPattern, theCode )
anyMatchingCodeIn( desiredPattern, theCode )
contains( predicate, theCode )
containsMatch( desiredPattern, theCode )
filter( predicate, s )
innermostOwner( ownerPattern, theCode )
outermostOwner( ownerPattern, theCode )
outermostOwnerExpression( theExpression )
ownerStatement( theCode )
Handling sets and lists
reverse( l )
unique( equal, s )
Managing strings
Regex( string )
RegexExtended( string, options )
strcat( string0, string1 )
strToInt( string )
strToLower( string )
Debugging Support
debug( eventstring )
C/C++ library reference
Specifying the target language
The CUDA extension
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
enumDefinition
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
tokenizedSourceFile
'enum' kinds
assignKind
castKind
deducedTypeKind
floatKind
floatSuffix
forLoopKind
intKind
nullKind
qualifierEnum
sizeofKind
stringLiteralEncoding
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allEnums
allFunctionAndGlobalVariableCode
allFunctionAndGlobalVariableDefinitions
allFunctionCode
allFunctionDefinitions
allGlobalVariableDefinitions
allTokenizedSourceFiles
Code patterns
Statements
asmStatement
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopRange
forLoopSimple
Matching a loop whose condition is always true
gotoStatement
ifStatement
labelStatement
returnStatement
simpleStatement
switchStatement
tryStatement
whileLoop
Declarations
localFunctionDeclaration
variableDeclaration
Types
arrayType
boolType
charType
classType
deducedType
enumType
floatType
functionType
intType
memberType
nullPointerType
pointerType
referencedTypesType
referenceType
sizeofOperatorType
typedefType
typeQualifier
typeQualifierAtomic
typeQualifierConst
typeQualifierRestrict
typeQualifierVolatile
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
functionCall
kernelCall
memberReference
pointerDereference
sizeofOperatorExpression
subscriptReference
variableReference
Literals
booleanLiteral
characterLiteral
enumeratorLiteral
floatLiteral
intLiteral
nullPointerLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
castOperatorConstCast
castOperatorDynamicCast
castOperatorExplicit
castOperatorImplicit
castOperatorReinterpretCast
castOperatorStaticCast
conditionalOperator
decrementOperator
deleteOperator
incrementOperator
newOperator
sizeofOperator
throwOperator
unaryOperator
Initializers
aggregateInitializer
constructorInitializer
expressionInitializer
unionFieldInitializer
zeroInitializer
Symbols
Common properties of symbols
enumeratorSymbol
fieldSymbol
functionSymbol
globalVariableSymbol
localVariableSymbol
parameterSymbol
variableSymbol
Tokens
charLiteralToken
commentToken
identifierToken
numberToken
operatorToken
stringLiteralToken
token
unrecognizedToken
whitespaceOrCommentToken
whitespaceToken
Functions
Definition functions
getClassDefinition( classTypeResult )
getEnumDefinition( enumTypeResult )
Pattern functions
aliasTypeOf( typePattern )
anyQualifiedTypeOf( typePattern )
arrayOf( typePattern )
constOf( typePattern )
pointerTo( typePattern )
volatileOf( typePattern )
Type functions
hasBaseType( typeName )
Decomposing functions
getQualifiers( typeName )
qualifiersOf( typeName )
stripCasts( expressionString )
stripQualifiers( typeName )
C# library reference
Specifying the target language
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
Attribute classes
attributeArgument
attributeNamedArgument
attributePositionalArguments
'enum' kinds
assignKind
castKind
cvModifierKind
floatKind
ForLoopKind
intKind
variableDeclarationKind
variableScopeKind
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
fixedStatement
forLoop
forLoopEnhanced
forLoopSimple
gotoStatement
ifStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
returnStatement
simpleStatement
switchStatement
synchronizedStatement
throwStatement
tryStatement
unsafeStatement
whileLoop
Declarations
variableDeclaration
Types
arrayType
booleanType
charType
classType
cvModifiedType
enumType
floatType
functionType
genericType
integralType
nullableType
outParamReferenceType
pointerType
referenceParamType
referenceType
tupleClassType
typeParameterType
usingType
valueTupleType
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
argList
arrayLength
boxExpression
checkedBlock
checkedExpression
deconstructionExpression
dynamicCastExpression
dynamicFunctionCall
enumReference
expressionPattern
expressionTree
fieldAccess
fieldReference
functionCall
functionReference
instanceOf
isPattern
makeRefExpression
multiSubscriptReference
namedPattern
nullableGetValue
patternMatchExpression
propertyReference
propertyUpdate
referenceDereference
refTypeExpression
refValueExpression
stackAllocation
subscriptReference
temporaryConstruction
temporaryExpression
temporaryVariableReference
uncheckedBlock
uncheckedExpression
variableReference
yieldExpression
Literals
booleanLiteral
characterLiteral
classLiteral
enumLiteral
floatLiteral
integralLiteral
nullLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
awaitOperator
binaryOperator
castOperator
castOperatorExplicit
castOperatorImplicit
conditionalOperator
decrementOperator
incrementOperator
newOperator
nullableBinaryOperator
nullCoalescingOperator
sizeofOperator
throwOperator
unaryOperator
Initializers
addMemberInitializer
arrayDimensionsInitializer
arrayInitializer
assignmentMemberInitializer
baseClassInitializer
constructorInitializer
expressionInitializer
memberInitializer
nestedMemberInitializer
objectInitializer
peerConstructorInitializer
zeroInitializer
Symbols
Common properties of symbols
enumeratorSymbol
enumVariableSymbol
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
codeAttribute
declaration
handler
Functions
Definition functions
getClassDefinition( classTypeResult )
Type functions
hasBaseType( t )
stripReferenceTypes( t )
Decomposing functions
aliasTypeOf( baseType )
arrayOf( typePattern )
constOf( typePattern )
getQualifiers( t )
stripBoxes( e )
stripCasts( e )
stripCastsAndBoxes( e )
Overridee functions
getFunctionOverridees( f )
Go library reference
Specifying the target language
Class definitions
astnode
classDefinition
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
'enum' kinds
assignKind
castKind
floatKind
ForLoopKind
intKind
labelScopeKind
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
deferStatement
emptyStatement
fallThroughStatement
forLoop
forLoopSimple
gotoStatement
ifStatement
incDecStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
locallyDeclaredTypeStatement
returnStatement
selectStatement
sendStatement
simpleStatement
switchStatement
Declarations
variableDeclaration
Types
anyType
arrayType
boolType
classType
floatType
functionType
integerType
referenceType
stringType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
anyTypeVariableReference
attributeReference
boxExpression
builtinFunctionExpression
deconstructionExpression
dynamicFunctionCall
enumReference
fieldAccess
fieldReference
functionCall
functionReference
functionVariableReference
referenceDereference
variableReference
Literals
boolLiteral
compositeLiteral
floatLiteral
imaginaryLiteral
integerLiteral
mapLiteral
nilLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
decrementOperator
incrementOperator
newOperator
unaryOperator
Initializers
arrayInitializer
expressionInitializer
zeroInitializer
Symbols
Common properties of symbols
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
declaration
Functions
Definition functions
getClassDefinition( classType )
Pattern functions
arrayOf( typePattern )
Java library reference
Specifying the target language
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
Annotation classes
annnotationAnnotationElement
annotationArrayElement
annotationElement
annotationExpressionElement
'enum' kinds
assignKind
castKind
floatKind
ForLoopKind
intKind
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
assertStatement
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopEnhanced
forLoopSimple
ifStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
returnStatement
simpleStatement
switchStatement
synchronizedStatement
throwStatement
tryStatement
whileLoop
Declarations
variableDeclaration
Types
anyType
arrayType
booleanType
charType
classType
floatType
functionType
integerType
referenceType
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
arrayLength
boxExpression
enumReference
fieldAccess
fieldReference
functionCall
functionReference
instanceOf
referenceDereference
subscriptReference
variableReference
Literals
booleanLiteral
characterLiteral
classLiteral
floatLiteral
integerLiteral
nullLiteral
stringLiteral
Operators
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
castOperatorChecked
castOperatorExplicit
castOperatorImplicit
conditionalOperator
decrementOperator
incrementOperator
newOperator
throwOperator
unaryOperator
Initializers
arrayDimensionsInitializer
arrayInitializer
baseClassInitializer
constructorInitializer
expressionInitializer
memberInitializer
peerConstructorInitializer
zeroInitializer
Symbols
Common properties of symbols
enumVariableSymbol
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
annotationElementValuePair
codeAnnotation
declaration
handler
Functions
Definition functions
getClassDefinition( classTypeResult )
Type functions
hasBaseType( t )
stripReferenceTypes( t )
Decomposing functions
arrayOf( typePattern )
stripBoxes( e )
stripCasts( e )
stripCastsAndBoxes( e )
stripImplicitCasts( e )
Overridee functions
getFunctionOverridees( f )
JavaScript library reference
Specifying the target language
Class definitions
astnode
functionDefinition
globalVariableDefinition
'globalset' sets
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allTextFiles
Code patterns
Statements
anyLoop
blockStatement
breakStatement
caseStatement
continueStatement
debuggerStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopIn
forLoopOf
forLoopSimple
generatorReturnStatement
ifStatement
labelStatement
returnStatement
simpleStatement
switchStatement
throwStatement
tryStatement
whileLoop
withStatement
Declarations
classDeclaration
destructuringDeclaration
functionDeclaration
variableDeclaration
Types
functionType
scalarType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
argumentAfterExpansion
argumentsReference
arrayElision
classExpression
closedVariableReference
constructorDefinition
destructuringAssignment
destructuringParameter
functionCall
functionExpression
functionReference
generatorReturnValue
globalAccess
listExpansionArgument
localVariableReference
newTargetReference
nodejsRequire
parameterReference
parameterWithDefault
propertyAccess
propertyAccessBracket
restParameter
superReference
thisReference
variableReference
variableReferenceUnderWith
Literals
arrayLiteral
booleanLiteral
floatLiteral
integerLiteral
nullLiteral
objectLiteral
regularExpressionLiteral
stringLiteral
undefinedConstant
Operators
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
conditionalOperator
decrementOperator
deleteOperator
incrementOperator
instanceofOperator
newOperator
spreadOperator
typeofOperator
unaryOperator
voidOperator
yieldOperator
Initializers
expressionInitializer
Symbols
Common properties of symbols
closedVariableSymbol
functionSymbol
localVariableSymbol
parameterSymbol
theGlobalObjectSymbol
variableSymbol
Functions
Decomposing functions
stripImplicitCasts( e )
Python 3 library reference
Specifying the target language
Class definitions
astnode
functionDefinition
globalVariableDefinition
'enum' kinds
assignmentKind
numberKind
variableScopeKind
Code patterns
Statements
assertStatement
assignmentStatement
blockStatement
breakStatement
continueStatement
delStatement
expressionStatement
forEachLoop
ifStatement
importStatement
passStatement
raiseStatement
returnStatement
tryStatement
whileLoop
yieldBreakStatement
yieldStatement
Declarations
classDeclaration
functionDeclaration
localVariableDeclaration
Types
booleanType
compositeType
functionType
integralType
realType
stringType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
attributeReference
duplicatedValue
dynamicMapping
functionCall
functionReference
lambdaExpression
listComprehension
mapComprehension
setComprehension
sliceExpression
subscriptExpression
tupleComprehension
variableReference
yieldExpression
Literals
booleanLiteral
ellipsisLiteral
floatLiteral
imaginaryLiteral
integerLiteral
listLiteral
mapLiteral
noneLiteral
setLiteral
stringLiteral
tupleLiteral
undefinedLiteral
Operators
assignmentOperator
binaryOperator
castOperator
conditionalOperator
unaryOperator
Initializers
aggregateInitializer
expressionInitializer
mapInitializer
Symbols
Common properties of symbols
functionSymbol
globalVariableSymbol
localVariableSymbol
parameterSymbol
Functions
Python 3 Patterns
Statements
annotatedAssignmentStatement
caseStatement
globalOrNonlocalDeclarationStatement
matchStatement
Operators
unpackOperator
Expressions
awaitExpression
expressionPattern
isPattern
namedPattern
Coverity Extend SDK 检查器开发指南
Coverity Extend SDK 使用
概述
Coverity Extend SDK 简介
Coverity Extend SDK 目录结构
编译 Coverity Extend SDK 检查器
创建第一个检查器：hello
hello 检查器源代码
编译 hello 检查器
运行 hello 检查器
从其他目录中运行 hello 检查器
将问题提交至 Coverity Connect
解析 hello 检查器
出于方便目的创建 Makefile
抽象语法树
什么是抽象语法树？
使用 print_tree 检查 AST 中的节点
模式
表达式模式
变量类型模式
模式连结符
访问器
状态机器范例
Simple 检查器与具有存储的检查器
抽象解释
访问顺序
处理存储
示例：跟踪表达式的符号
输出
OUTPUT_ERROR
ADD_EVENT
COMMIT_ERROR
ADD_INPUTFILE_ONLY_EVENT
COMMIT_INPUTFILE_ONLY_ERROR
ADD_INPUTFILE_EVENT
COMMIT_INPUTFILE_ERROR
示例：sign2
条件
ANALYZE_CONDITION
MATCH_COND
force_backtrack
示例：sign3
抽象比较
比较求值
路径
每个函数多个路径
假路径剪枝 (FPP)
两次检查
终止
检查类层次架构
从变量到其类/类型的映射
类型的树结构
类
继承
虚函数覆盖关系
type_t iterators
type_visitor_t
subtype_visitor_t
type_recursive_visitor_t
type_t 对象何时驻留在内存中？
示例：print type 信息
示例：switch default
报告针对输入文件的事件和缺陷
关于为 Android 应用程序构建 Coverity Extend SDK 检查器的其他步骤
输入文件类 extend_inputfile_t
输入文件宏
输入文件检查器示例
Coverity Extend SDK 检查器故障排除
Coverity Extend SDK 检查器使用无匹配错误的树中止执行。
Coverity Extend SDK 说明书
Coverity Extend SDK API 简介
处理程序函数
Coverity Extend SDK 检查器文件结构
START_EXTEND_CHECKER
END_EXTEND_CHECKER
MAKE_MAIN
INIT_OPTIONS
HANDLE_OPTION
CHECKER_INIT
CHECKER_FINAL
FUNCTION_INIT
FUNCTION_FINAL
ANALYZE_TREE
ANALYZE_CONDITION
ANALYZE_END_OF_PATH
PREFER_TO_ANALYZE_CSHARP
PREFER_TO_ANALYZE_JAVA
PREFER_TO_ANALYZE_JAVASCRIPT
ANALYZE_CLASS
模式
C# 和 Java 检查器的模式
所有模式通用的函数
ASTNodePattern 超类
ExpressionPattern 超类
TypePattern 超类
SymbolPattern 超类
预定义的模式对象
表达式模式
基本表达式模式
函数调用位置表达式模式
变量引用表达式模式
类型筛选表达式模式
复杂表达式模式
评估模式
语句模式
其他模式
绑定模式
语法上下文筛选器
STL 构造模式
其他模式
连结符（And、Or 等）
访问器
其他抽象语法树查询函数
对当前函数的查询
对当前文件的查询
对树的查询
存储
存储概述
void SET_STATE(tree t, int v)
void CLEAR_STATE(tree t)
bool GET_STATE(tree t, int &v)
bool MATCH_STATE(tree t, int v)
bool COPY_STATE(tree dst, tree src)
FOREACH_IN_STORE(tree &t, int &v) { body }
bool ADD_EVENT(tree t, char const *tag, desc)
bool COMMIT_ERROR(tree t, char const *tag, desc)
ADD_INPUTFILE_EVENT
COMMIT_INPUTFILE_ERROR
添加事件
类型
type_t
any_type_t
scalar_type_t
pointer_type_t
array_type_t
cv_wrapper_type_t
function_type_t
scoped_type_t
scope_t
defined_type_t
typedef_type_t
forward_declarable_type_t
enum_type_t
tag_t
union_type_t
field_t
class_type_t
parent_t
function_t
member_type_t
extend_inputfile_t
参考信息
头文件
名称修饰
修饰过的 (mangled) 命名方案：C++
修饰过的 (mangled) 命名方案：C#
修饰过的 (mangled) 命名方案：Java
检查器示例
检查器源文件
sign 检查器
sign2 检查器
sign3 检查器
print_types.cpp
switch_default.cpp
javascript_match_local.cpp
Coverity Analysis：安装和升级
Coverity Analysis 硬件
最低要求
并行分析的内存要求
磁盘
操作系统注意事项
共享机器
虚拟机
Coverity 产品组件：支持的版本和兼容性
Coverity SCM 支持
Coverity Analysis 支持的平台
Extend SDK 和 FlexNet 许可支持的平台
Coverity Analysis 支持的语言、编译器和框架
C/C++ 编译器
C++23 (ISO/IEC DIS 14882:2023) 语言支持
C# 编译器
CUDA 编译器
Go 编译器
Java 编译器
Kotlin 编译器
Visual Basic 编译器
第三方编译器
框架
升级 Coverity Analysis
标准升级过程
了解变动
检查器默认禁用
发出 Web 应用程序归档时的新行为
使用增量发行版更新 Coverity Analysis
安装
更新如何起作用
运行 cov-install-updates
回退更新会话
其他实用程序
使用更新升级 Coverity Analysis
客户端、插件、集成和 API
Coverity 集成和 API
命令行客户端
插件和其他集成
API 参考
Coverity Point and Scan UI 和 Coverity CLI 指南
Coverity Point and Scan 和 Coverity 命令行界面 (CLI) 简介
Point and Scan、Coverity CLI 和文件使用
默认分析
使用 Point and Scan 或 Coverity CLI 的先决条件 Coverity Connect
使用 Coverity Point and Scan UI
查看个别问题
重新扫描和重新配置
使用 Coverity CLI
配置 Coverity Coverity CLI
用例
指定清理和构建命令
指定是否提交扫描结果
指定项目分析方式
指定要捕获用于分析的文件
'languages' 选项
'files' 选项
默认排除
捕获一组特定文件
扩展示例：同时使用“languages”和“files”选项
启用 Web 应用程序安全
启用移动 Java Android 安全性
示例：发现 MISRA 标准偏差并且自定义一个检查器
命令说明
共享命令选项
选项说明
捕获配置
构建配置
编译器配置
Coverity 转译配置
文件配置
导入 SCM 配置
语言配置
并行转译配置
Web 归档配置
分析配置
检查器配置
特定检查器配置
编码标准配置
固有的编码标准配置
特定编码标准配置
已解析编码标准配置
编码标准偏差
分析 Connect 配置
指令配置
已解析安全指令配置
分析文件配置
作业配置
分析警告配置
Sigma 配置
Web 应用程序安全配置
提交配置
连接配置
快照配置
分类配置
本地配置
缓存配置
对问题进行故障排除
coverity list
诊断文档
日志文件
指向和扫描以及 CLI 支持列表
Bazel 支持
Go 支持
使用 Coverity CLI 覆盖配置默认值
编辑配置设置
编译器配置
禁用命令推断
捕获或者排除特定语言编码
正则表达式指定的文件包括或排除
glob 模式指定的文件包括或排除
包含库或者库目录
Coverity CLI 命令
coverity analyze
coverity capture
coverity commit
coverity help
配置语法帮助
coverity list
coverity scan
coverity setup
Coverity Desktop 入门
Coverity Desktop Analysis：用户指南
Desktop Analysis 概述
选择用户界面
要求
获取帮助
Desktop Analysis 快速入门指南
您需要什么
安装 Coverity Analysis 工具
命令行中的 Desktop Analysis
创建 coverity.conf
向您的 PATH 中添加 bin 目录
运行 cov-run-desktop --setup
分析源文件
检查缺陷
从编辑器或 IDE 中运行 Desktop Analysis
结合使用 Desktop Analysis 与 Emacs
结合使用 Desktop Analysis 与 Vim
IDE 中的桌面分析
Coverity Connect 集成
使用验证密钥
断开连接模式
管理 Desktop Analysis
为代码库创建 coverity.conf
使用 Visual Studio 代码编辑 coverity.conf 配置文件
使用 Visual Studio 编辑 coverity.conf 配置文件
将 data-coverity 添加到源代码管理 (SCM) 排除列表
Desktop Analysis 参考
概念
cov-run-desktop 命令
定义分析范围
源代码管理系统集成
分析非主要源文件 (C/C++)
按需编译文件
使用 cov-run-desktop 运行安全检查器
使用 cov-run-desktop 分析您的整个程序
本地缺陷所有者分配
Desktop Analysis 使用跟踪
结果差异的原因
组件权限的作用
Desktop Analysis JSON 输出语法
CoverityIssues
IssueOccurrence
Event
StateOnServer
CheckerProperties
Triage
CustomTriage
LocalTriage
DesktopAnalysisSettings
ReferenceSnapshotDetails
PortableAnalysisSettings
FileCheckerOption
Error
coverity.conf 文件格式
coverity.conf
UserDefinedVariables
ConditionalSettings
Condition
Settings
Server
CovRunDesktopSettings
SCMSettings
CompilerConfiguration
KnownInstallation
ExtendDirectories
检查器
CheckerSettings
CheckerOptions
字符串
正则表达式 (regex)
path
CodeXMFiles
示例 coverity.conf 文件
IDESettings
PathMapping
向后兼容性
Desktop Analysis 故障排除
Coverity Desktop 用户指南 (Eclipse)
Coverity Desktop 概述
关于本指南
Coverity Desktop for Eclipse 要求
获取帮助
Coverity Desktop 概念及用例
概念
用例
用例 — 将 Coverity Desktop 用于中央分析
用例 — 将 Coverity Desktop 用于本地分析
用例 - 将 Coverity Desktop 用于中央和本地分析
入门
检索远程问题
运行本地分析
分析选项和视图
工具栏快捷方式
Coverity 菜单
查看来自 Coverity 服务器的问题
捕获整个范围的构建
分析范围 (Analysis scope) 选项
离线模式
显示视图子菜单
分析配置...
Coverity Desktop 插件用户指南
Coverity Desktop 帮助中心
问题视图
配置问题视图显示
排序问题
问题筛选器
预定义筛选器
自定义筛选器
右键菜单
详情视图
问题信息
分类问题
相同项选项卡
历史记录选项卡
问题属性
分类
严重性
操作
外部引用
所有者
注释
收集诊断信息
分析配置... 对话框
常规配置
编译器配置对话框
Coverity Connect
数据流
SCM
高级配置
高级：构建
高级：分析
高级：范围
高级：引用快照
高级：文件排除项
高级：文件路径映射
高级：工作流
动态变量
对 Coverity Desktop for Eclipse 进行故障排除
查找与问题相关的更多信息
Coverity Desktop 用户指南（IntelliJ IDEA 和 Android Studio）
Coverity Desktop 概述
要求
获取帮助
Coverity Desktop 概念及用例
概念
用例
用例 — 将 Coverity Desktop 用于中央分析
用例 — 将 Coverity Desktop 用于本地分析
用例 - 将 Coverity Desktop 用于中央和本地分析
入门
检索远程问题
运行本地分析
分析选项和视图
工具栏快捷方式
Coverity 菜单
对来自 Coverity 服务器的问题进行查看和分类...
分析范围 (Analysis scope) 选项
分析配置...
Coverity Desktop 插件用户指南
Coverity Desktop 帮助中心
问题视图
排序问题
问题筛选器
预定义筛选器
自定义筛选器
右键菜单
详情视图
问题信息
分类问题
相同项选项卡
历史记录选项卡
问题属性
分类
严重性
操作
外部引用
所有者
注释
收集诊断信息
分析配置... 对话框
常规配置
编译器配置对话框
Coverity Connect
数据流
SCM
高级配置
高级：构建
高级：分析
高级：范围
高级：引用快照
高级：文件排除项
高级：文件路径映射
使用 Gradle 的本地分析
Coverity Desktop 用户指南 (Microsoft Visual Studio)
Coverity Desktop 概述
关于本指南
要求
获取帮助
Coverity Desktop 概念及用例
概念
用例
用例 — 将 Coverity Desktop 用于中央分析
用例 — 将 Coverity Desktop 用于本地分析
用例 - 将 Coverity Desktop 用于中央和本地分析
入门
检索远程问题
运行本地分析
分析选项和视图
工具栏快捷方式
Coverity 菜单
查看来自 Coverity 服务器的问题
捕获解决方案构建
分析范围 (Analysis scope) 选项
离线模式
Windows
分析配置...
Coverity Desktop 插件用户指南
Coverity Desktop 帮助中心
问题视图
配置“问题”视图显示
排序问题
问题筛选器
预定义筛选器
自定义筛选器
右键菜单
详情视图
问题信息
分类问题
相同项选项卡
历史记录选项卡
问题属性
分类
严重性
操作
外部引用
所有者
注释
中间目录详情视图
收集诊断信息
分析配置... 对话框
常规配置
Coverity Connect
数据流
SCM
高级配置
高级：构建
高级：分析
高级：范围
高级：引用快照
高级：文件排除项
高级：文件路径映射
高级：工作流
动态变量
对 Coverity Desktop 进行故障排除以与 Visual Studio 一起使用
安装 Coverity Desktop 组件
安装适用于 Eclipse、Wind River Workbench、QNX Momentics 和 IBM RTC 的 Coverity Desktop
通过更新网站安装 Coverity Desktop
从本地桌面安装 Coverity Desktop
QNX 和 WindRiver 工具链的自动配置编译器
卸载 Coverity Desktop
安装适用于 Microsoft Visual Studio 的 Coverity Desktop
使用库安装和更新 Coverity Desktop for Visual Studio
安装适用于 IntelliJ IDEA 和 Android Studio 的 Coverity Desktop
从本地桌面安装 Coverity Desktop
安装 Coverity Analysis 进行本地分析
Coverity 产品组件：支持的版本和兼容性
Coverity Desktop
Coverity Connect 和 Coverity Analysis 的版本兼容性
IDE 和 Java 版本支持
受支持平台上的 Coverity Desktop for Eclipse
受支持平台上的 Coverity Desktop for IBM Rational Team Concert (RTC)
受支持平台上的 Coverity Desktop for ARM Development Studio 5 (DS-5)
受支持平台上的 Coverity Desktop for Wind River Workbench
受支持平台上的 Coverity Desktop for QNX Momentics IDE
受支持平台上的 Coverity Desktop for Microsoft Visual Studio IDE
受支持平台上的 Coverity Desktop for IntelliJ IDEA
受支持平台上的 Coverity Desktop for Android Studio
受支持平台上适用于其他基于 IntelliJ 的 IDE 的 Coverity Desktop
Coverity Connect APIs
Coverity Platform SOAP Web Services API 说明书
API 指南
Coverity Platform SOAP Web Services API 说明书 (v9)
描述
源
概述
受众
入门
配置服务 Web 服务
操作：配置服务
操作：copyStream
操作：createAttribute
操作：createComponentMap
操作：createGroup
操作：createLdapConfiguration
操作：createProject
操作：createRole
操作：createStream
操作：createStreamInProject
操作：createTriageStore
操作：createUser
操作：deleteAttribute
操作：deleteComponentMap
操作：deleteGroup
操作：deleteLdapConfiguration
操作：deleteProject
操作：deleteRole
操作：deleteSnapshot
操作：deleteStream
操作：deleteTriageStore
操作：deleteUser
操作：executeNotification
操作：getAllLdapConfigurations
操作：getAllPermissions
操作：getAllRoles
操作：getAttribute
操作：getAttributes
操作：getBackupConfiguration
操作：getCategoryNames
操作：getCheckerNames
操作：getCommitState
操作：getComponent
操作：getComponentMaps
操作：getDefectStatuses
操作：getDeleteSnapshotJobInfo
操作：getDeveloperStreamsProjects
操作：getGroup
操作：getGroups
操作：getLdapServerDomains
操作：getLicenseConfiguration
操作：getLicenseState
操作：getLoggingConfiguration
操作：getMessageOfTheDay
操作：getOutputFileForSnapshot
操作：getProjects
操作：getRole
操作：getServerTime
操作：getSignInConfiguration
操作：getSkeletonizationConfiguration
操作：getSnapshotInformation
操作：getSnapshotPurgeDetails
操作：getSnapshotsForStream
操作：getStandardAttribute
操作：getStandardAttributes
操作：getStreams
操作：getSystemConfig
操作：getTriageStores
操作：getTypeNames
操作：getUser
操作：getUsers
操作：getVersion
操作：importLicense
操作：notify
操作：refreshLdapGroup
操作：setAcceptingNewCommits
操作：setBackupConfiguration
操作：setLoggingConfiguration
操作：setMessageOfTheDay
操作：setSkeletonizationConfiguration
操作：setSnapshotPurgeDetails
操作：updateAttribute
操作：updateComponentMap
操作：updateGroup
操作：updateLdapConfiguration
操作：updateProject
操作：updateRole
操作：updateSignInConfiguration
操作：updateSnapshotInfo
操作：updateStream
操作：updateTriageStore
操作：updateUser
复杂类型：配置服务
复杂类型：attributeDefinitionDataObj
复杂类型：attributeDefinitionIdDataObj
复杂类型：attributeDefinitionSpecDataObj
复杂类型：attributeValueChangeSpecDataObj
复杂类型：attributeValueDataObj
复杂类型：attributeValueIdDataObj
复杂类型：attributeValueSpecDataObj
复杂类型：backupConfigurationDataObj
复杂类型：commitStateDataObj
复杂类型：componentDataObj
复杂类型：componentDefectRuleDataObj
复杂类型：componentIdDataObj
复杂类型：componentMapDataObj
复杂类型：componentMapFilterSpecDataObj
复杂类型：componentMapIdDataObj
复杂类型：componentMapSpecDataObj
复杂类型：componentPathRuleDataObj
复杂类型：configurationDataObj
复杂类型：CovRemoteServiceException
复杂类型：deleteSnapshotJobInfoDataObj
复杂类型：featureUpdateTimeDataObj
复杂类型：getOutputFileForSnapshot
复杂类型：getOutputFileForSnapshotResponse
复杂类型：groupDataObj
复杂类型：groupFilterSpecDataObj
复杂类型：groupIdDataObj
复杂类型：groupsPageDataObj
复杂类型：groupSpecDataObj
复杂类型：ldapConfigurationDataObj
复杂类型：ldapConfigurationSpecDataObj
复杂类型：licenseDataObj
复杂类型：licenseSpecDataObj
复杂类型：licenseStateDataObj
复杂类型：localizedValueDataObj
复杂类型：loggingConfigurationDataObj
复杂类型：outputFileDataObj
复杂类型：pageSpecDataObj
复杂类型：permissionDataObj
复杂类型：projectDataObj
复杂类型：projectFilterSpecDataObj
复杂类型：projectIdDataObj
复杂类型：projectSpecDataObj
复杂类型：roleAssignmentDataObj
复杂类型：roleDataObj
复杂类型：roleIdDataObj
复杂类型：roleSpecDataObj
复杂类型：serverDomainIdDataObj
复杂类型：signInSettingsDataObj
复杂类型：skeletonizationConfigurationDataObj
复杂类型：snapshotFilterSpecDataObj
复杂类型：snapshotIdDataObj
复杂类型：snapshotInfoDataObj
复杂类型：snapshotPurgeDetailsObj
复杂类型：standardAttributeDataObj
复杂类型：standardAttributeIdDataObj
复杂类型：standardAttributeValueDataObj
复杂类型：standardAttributeValueIdDataObj
复杂类型：streamDataObj
复杂类型：streamFilterSpecDataObj
复杂类型：streamIdDataObj
复杂类型：streamSpecDataObj
复杂类型：triageStoreDataObj
复杂类型：triageStoreFilterSpecDataObj
复杂类型：triageStoreIdDataObj
复杂类型：triageStoreSpecDataObj
复杂类型：userDataObj
复杂类型：userFilterSpecDataObj
复杂类型：usersPageDataObj
复杂类型：userSpecDataObj
复杂类型：versionDataObj
简单类型：配置服务
简单类型：deleteSnapshotJobStatus
缺陷服务 Web 服务
操作：缺陷服务
操作：getComponentMetricsForProject
操作：getFileContents
操作：getMergedDefectDetectionHistory
操作：getMergedDefectHistory
操作：getMergedDefectsForProjectScope
操作：getMergedDefectsForSnapshotScope
操作：getMergedDefectsForStreams
操作：getStreamDefects
操作：getTrendRecordsForProject
操作：getTriageHistory
操作：updateDefectInstanceProperties
操作：updateStreamDefects
操作：updateTriageForCIDsInTriageStore
复杂类型：缺陷服务
复杂类型：attributeDefinitionIdDataObj
复杂类型：attributeDefinitionValueFilterMapDataObj
复杂类型：attributeValueIdDataObj
复杂类型：componentIdDataObj
复杂类型：componentMetricsDataObj
复杂类型：CovRemoteServiceException
复杂类型：defectChangeDataObj
复杂类型：defectDetectionHistoryDataObj
复杂类型：defectInstanceDataObj
复杂类型：defectInstanceIdDataObj
复杂类型：defectStateAttributeValueDataObj
复杂类型：defectStateDataObj
复杂类型：defectStateSpecDataObj
复杂类型：eventDataObj
复杂类型：fieldChangeDataObj
复杂类型：fileContentsDataObj
复杂类型：fileIdDataObj
复杂类型：functionInfoDataObj
复杂类型：localizedValueDataObj
复杂类型：mergedDefectDataObj
复杂类型：mergedDefectFilterSpecDataObj
复杂类型：mergedDefectIdDataObj
复杂类型：mergedDefectsPageDataObj
复杂类型：pageSpecDataObj
复杂类型：projectIdDataObj
复杂类型：projectMetricsDataObj
复杂类型：projectScopeDefectFilterSpecDataObj
复杂类型：projectTrendRecordFilterSpecDataObj
复杂类型：propertyDataObj
复杂类型：propertySpecDataObj
复杂类型：snapshotScopeDefectFilterSpecDataObj
复杂类型：snapshotScopeSpecDataObj
复杂类型：standardAttributeIdDataObj
复杂类型：standardAttributeValueFilterMapDataObj
复杂类型：standardAttributeValueIdDataObj
复杂类型：streamDefectDataObj
复杂类型：streamDefectFilterSpecDataObj
复杂类型：streamDefectIdDataObj
复杂类型：streamIdDataObj
复杂类型：triageHistoryDataObj
复杂类型：triageStoreIdDataObj
类型和常数
操作
属性名称
属性类型 (attributeType)
日期时间 (dateTime)
域
事件类型 (eventKind)
问题类型 (issueKind)
语言
区域设置
权限
角色分配类型 (roleAssignmentType)
角色类型 (roleAssignmentDataObj.type)
角色 ID（内置角色：roleAssignmentDataObj.roleId）
严重性
状态
错误代码
1000-1099：常规
1100-1199：用户
1200-1299：属性
1300-1399：项目、数据流、快照
1400-1499：缺陷
1501-1599：内部错误
1600-1699：组件
1700-1799：角色
1800-1899：文件和函数
1900-1999：许可证
2000-2099：分类数据库
2100-2199：LDAP
2200-2299：查看通知
SOAP Web Services API 术语表
属性
检查器
CID
组件
缺陷
外部引用
修复目标
permission
项目
role
快照
source version
数据流
子类别
target
triage
分类数据库
版本
API 历史记录
变更日志：配置服务
操作：配置服务
数据对象：配置服务
变更日志：缺陷服务
操作：缺陷服务
数据对象：缺陷服务
Coverity Platform REST Web 服务 API 指南
受众
从 SOAP API 迁移到 REST Web 服务 API
Coverity Platform REST Web 服务 API 概述
Coverity Platform REST Web Services API 简介
术语
访问 API
工作流示例
检查器属性
检索所有与检查器相关的属性
检索检查器相关属性的可用值
提交网关
查明数据库是否接受新提交的分析结果
控制数据库是否接受新提交的分析结果
组件映射图
创建新组件映射图和关联组件
检索指定的组件映射图
检索所有组件映射图
更新组件映射图和关联组件
删除组件映射图
组件
检索指定的组件
电子邮件通知
发送指定视图的电子邮件通知
文件
按路径搜索文件
按内容哈希搜索文件
健康检查
下载健康检查报告
检索 JSON 健康检查报告
生成健康检查报告
检索健康检查报告的生成状态
停止生成健康检查报告
问题属性
检索问题 status 属性的可用值
问题相同项
检索问题相同项的所有列关键字
从项目中检索所有问题相同项
按类别检索问题相同项计数
问题
检索问题的所有列关键字
检索问题检测历史记录
从项目中检索所有高影响问题
从项目中检索所有问题
按类别检索问题计数
检索源代码信息
更新分类属性值
检索分类历史记录
LDAP 配置
创建 LDAP 配置
检索所有 LDAP 配置
更新 LDAP 配置
删除 LDAP 配置
检索所有 LDAP 域
刷新 LDAP 组
许可证
导入 Coverity Connect 许可证文件
检索 Coverity Connect 许可证信息
区域设置
检索所有受支持的区域设置
日志记录配置
检索日志记录配置
配置日志记录选项
维护
检索数据库备份计划
设置数据库备份计划
立即备份数据库
检索清除分析摘要流程的配置
更新清除分析摘要流程的配置
检索清除快照详情流程的配置
更新清除快照详情流程的配置
指标
检索指定源代码文件的 HIS 指标测量值、代码指标测量值和元数据
检索指定函数的 HIS 指标测量值、其他测量值和元数据
项目
创建报告
检索指定的项目
检索所有项目
更新项目
删除项目
检索按组件分段的代码分析测量
检索特定项目的代码分析趋势
检索开发人员数据流项目
角色
创建角色
检索指定的角色
检索所有角色
更新角色
删除角色
SAML 配置
创建 SAML 配置
检索 SAML 配置
更新 SAML 配置
删除 SAML 配置
检索身份提供者 (IdP) 元数据
检索服务提供程序 (SP) 元数据
扫描代理服务
服务器信息
检索配置
检索当天的消息
更新当天的消息
检索日期和时间
检索版本号
登录配置
检索当前的登录配置
更新当前的登录配置
快照
检索快照相关信息
更新快照属性
删除快照
检索快照删除状态
检索快照输出文件
标准属性
检索指定标准属性
检索所有标准属性
数据流
创建数据流
检索数据流
检索所有数据流
更新数据流
复制指定的数据流
删除数据流
检索数据流 UUID
检索数据流快照 ID
检索扫描透明度数据
分类属性
创建分类属性（“值列表”类型）
创建分类属性（“自由格式文本”类型）
检索指定分类属性
检索所有分类属性
更新分类属性（“值列表”类型）
更新分类属性（“自由格式文本”类型）
分类数据库
创建分类数据库
检索指定分类数据库
更新分类数据库
删除分类数据库
用户组
创建用户组
检索用户组
更新用户组
删除用户组
用户
创建用户
检索所有用户
更新用户
删除用户
视图
创建新视图
删除视图
检索当前用户可访问的所有视图
检索指定视图的内容
检索所有视图的元数据
重新分配所有视图的所有权
重新分配指定视图的所有权
更新视图设置
视图类型
检索指定视图类型列的键
检索指定视图类型的数据
视图管理操作 (v1)
PATCH api/view/v1/username/{source_user}/ldap/{source_ldap}
描述
参数
路径参数
有效负载参数
响应
示例
PATCH api/view/v1/view/{view_id}
描述
参数
路径参数
有效负载参数
响应
示例
GET api/view/v1/views
描述
参数
响应
示例
GET api/views/v1
描述
参数
响应
示例
GET api/viewContents/{type}/v1/{view_id}
描述
参数
路径参数
查询参数
响应
示例
Coverity Platform REST API 参考 (v2)
CIM API Guide
Coverity Platform 扫描代理服务 API 参考 (v2)
Scan Proxy API Guide
云原生 Coverity 部署
Coverity 云部署管理员和用户指南
关于本文档
使用本文档
约定
将本文档与其他 Coverity 文档一起使用
关于 Coverity 云部署
Coverity 云部署
仅 Coverity Connect 部署
Coverity Connect 与扫描服务部署
Connect Web 应用程序高可用性
使用 Connect Web 应用程序 HA 的好处
扫描服务
Thin Client
扫描列表视图
客户责任和部署工作流
客户责任
Black Duck 职责
Coverity 部署场景
仅 Connect 快速启动
部署 Connect 和扫描服务
使用 onPrem OCI Redis 和 MinIO 部署 Connect 和扫描服务
Coverity 从数据中心重新部署到云端
将 Coverity 从公有云重新部署到 Kubernetes
获取 Black Duck Community 访问权限、Coverity 许可证、注册表凭据、Helm 图表和客户端软件
请求访问 Black Duck Community
获取 Coverity 许可证
请求 Black Duck Docker 注册表凭据
访问 Black Duck 私有 Docker 注册表凭据
关于 Black Duck 存储库
从 Black Duck 公共 Docker 注册表下载 Helm 图表
Coverity 客户端安装程序和文档文件
从 Black Duck 存储库下载 Coverity 工具包工件
设置 NGINX proxy-body-size 以便将 Coverity 工具包 tar 文件上传到 Connect
从 Black Duck 存储库下载完整的 Analysis 客户端文件
使用 curl 从 Black Duck 注册表下载平台、主机 ID 和文档文件
管理容器映像
关于 Kubernetes 容器映像管理
Coverity 容器映像
开源容器映像
创建容器映像提取密钥
准备容器映像和注册表项
预配置容器映像密钥
imageRegistry 键
imagePullSecret 键
imagePullPolicy Helm 键
准备从位于您自己私有注册表中的容器映像部署容器
创建您自己的私有 Docker 注册表
从 Black Duck 私有 Docker 注册表提取容器映像
标记映像
将映像推送到您的私有 Docker 注册表
准备从位于 Black Duck 注册表中的容器映像部署容器
基础架构和配置
安装所需软件
访问权限
管理员凭据
Kubernetes 客户端用户权限
Coverity 管理扫描服务资源的权限
创建 VPC
创建 Kubernetes 集群
公开 Kubernetes 集群
安装入口控制器
创建 Kubernetes 命名空间
配置 Kubernetes 日志记录
对 PostgreSQL 数据库和 Pod 进行规模调整、创建和管理
调整 Connect (cim) Pod 资源的规模
为扫描服务创建存储桶
扫描服务存储桶大小
创建并配置缓存存储桶
安装和配置 Redis
使用 Redis 和 Minio 配置 Helm 键以支持 onPrem 或非平台特定部署
设置 ARM64 支持
ARM64 Thin Client 支持
指定 ARM64 节点池
AWS ARM64
Azure ARM64
GCP 入口控制器污点和容忍度
GCP ARM64 节点池
ARM64 的 GCP 污点和容忍度
Amazon AWS 基础架构和配置
Amazon AWS 帐户权限
AWS：设置云管理员角色
AWS：安装 AWS CLI、eksctl 和 kubectl
AWS：安装 Helm
AWS：安装 Docker
创建 AWS EKS 集群
AWS：安装入口控制器
创建 PostgreSQL 数据库
创建 PostgreSQL 证书并将其添加到 Connect 信任库
AWS：创建 EKS 集群 IAM 策略和角色
AWS：创建扫描作业节点池
AWS：创建 S3 Express 桶
AWS：创建 S3 Express 桶 IAM 策略
AWS：创建 S3 存储桶
cnc/topics/aws_create_ cache.html
指定 AWS S3 存储桶和缓存桶 IAM 策略
为存储服务和缓存服务使用基于角色的 AWS 服务帐户
配置 AWS ElastiCache 和 Redis
获取 Redis TLS CA 证书并将其添加到信任库配置映射
AWS：创建 Coverity 云部署密钥和配置映射
使用 S3 或 S3 Express 配置 Helm 键以支持 AWS
配置 AWS S3 Helm 键
配置 AWS S3 Express Helm 键
Google GCP 基础架构和配置
Google GCP 管理员权限/角色
GCP：安装和设置 gcloud CLI
GCP：安装 kubectl
GCP：安装 Docker
GCP：安装 Helm
创建 GKE 集群
授予用户集群管理员权限
将凭据添加到 kubeconfig
GCP：安装入口控制器
创建 Google Cloud SQL 数据库
创建 Cloud SQL 服务器 CA 证书并将其添加到信任库配置映射
添加 SQL 用户
GCP：创建 Coverity 云部署密钥和配置映射
GCP：创建扫描作业节点池
创建存储桶
创建缓存桶
为缓存桶创建和设置生命周期规则
创建服务帐户 (SA)
为 GCS 存储桶和缓存桶创建 SA 访问权限
为 Google Cloud SQL 授予 SA 访问权限
创建 IAM 服务帐户密钥
创建 Redis 实例
使用 GCS 配置 Helm 键以支持 GCP
Microsoft Azure 基础架构和配置
Microsoft Azure 管理员权限/角色
Azure：安装 Microsoft Azure CLI
Azure：安装 Helm
Azure：安装 Docker
创建 AKS 集群
在 Azure 上安装 kubectl
Azure：安装入口控制器
创建 Azure PostgreSQL 数据库
创建 PostgreSQL 数据库时的 Azure 注意事项
Kubernetes 容器权限和角色
Azure AKS：创建扫描作业节点池
创建存储帐户 (SA)
显示存储帐户属性
创建 Azure Blob 存储容器
配置对存储 Blob 的存储服务访问
将 Azure 共享密钥客户端密钥用于 RBAC
将 Azure Entra ID 客户端密钥用于 RBAC
创建缓存容器
为缓存容器创建生命周期规则
为 Redis 配置 Azure 缓存
Azure：创建存储服务密钥和配置映射
使用 Azure Blob 配置 Helm 键以支持 Azure
Red Hat OpenShift 基础架构和配置
OpenShift 路由 - 在 OpenShift 集群外公开 Coverity 云实例
使用现有入口设置管理自动路由创建
使用 cnc Helm 图表管理路由创建
使用 OpenShift UI 创建路由
在 OpenShift 中配置指向 MinIO 的入口路由
高级 OpenShift 路由注意事项
OpenShift 路由故障排除
PostgreSQL 数据库和 PostgreSQL Pod
创建 PostgreSQL 数据库
AWS：创建 PostgreSQL 数据库
Azure：创建 PostgreSQL 数据库
GCP：创建 CloudSQL PostgreSQL 数据库
OpenShift：创建 PostgreSQL 数据库
将 PostgreSQL 数据库实例迁移到云中
迁移先决条件
AWS：迁移数据库
Azure：迁移数据库
GCP：迁移数据库
Red Hat OpenShift：迁移数据库
验证外部集成
调整 PostgreSQL Pod 资源的规模
PostgreSQL Pod 最低资源要求
调整 PostgreSQL Pod 的内存大小
使用 PostgreSQL 只读副本和 Pgpool 来平衡数据库负载
PostgreSQL 数据库只读副本架构
确定何时部署 PostgreSQL 数据库只读副本
PostgreSQL 数据库只读副本设置
创建 dbreadreplica-values.yaml 文件
配置 cim.pgpool Helm 键
部署数据库只读副本
管理 Connect PostgreSQL 数据库的大小和完整性
静态调整外部 Connect PostgreSQL 数据库
创建调整作业 yaml 文件
static-tuning-write.yaml — Tuning-write 模板
static-tuning-suggest.yaml — 获取数据库静态调整建议
映像属性
用于调整写入的 AWS RDS 特性
用于调整写入的 Azure 灵活服务器特性
用于调整写入的 GCP Cloud SQL 特性
用于调整写入的其他平台特性
硬件资源特性
AWS RDS IsSSD 特性
Azure 灵活服务器 IsSSD 属性
GCP Cloud SQL IsSSD 属性
用于调整写入的实例标识符
CIM 属性密钥
SSL 设置和卷安装
运行数据库调整作业
监控日志
重启数据库
调整 Coverity Connect (cim) Pod 的大小以获得最佳性能
Coverity Connect (cim) Pod 最低资源要求
使用提交扩展 cim Pod 的 CPU 和内存
中 IDIR (2.6 GB)
大 IDIR (12 GB)
超大 IDIR (36 GB)
提交注意事项
Commit 数据是如何收集的？
使用视图加载扩展 cim Pod 的 CPU 和内存
中型项目（10K 个问题）
大型项目（25K 个问题）
超大型项目（50K 个问题）
视图加载注意事项
视图加载 - 数据是如何收集的？
创建 TLS 证书、密钥库和密钥
生成 Connect TLS 证书
生成由证书颁发机构签名的 Coverity Connect TLS 证书
为 Redis 创建缓存服务 CA 证书机密
创建 Connect UI 服务器密钥库
创建 Kubernetes 入口 TLS 密钥
创建 Connect 许可证密钥
创建容器映像拉取密钥
创建扫描工具同步密钥
创建 PostgreSQL 访问的密钥
创建 Connect Web 应用程序管理员密码密钥
创建扫描服务许可证密钥
创建 MinIO 存储类型的密钥
创建 AWS 存储服务密钥
创建 Azure 服务帐户密钥
创建 Azure 缓存服务密钥
创建 GCS 服务帐户密钥
为通过 TLS 进行 Connect 通信创建信任库配置映射
为 Connect 实例创建信任库配置映射
AWS：下载证书并创建信任库配置映射
将 SMTP 证书添加到 Coverity Connect 信任库
使用 cnc 图表和 scan-services 子图表
关于 cnc 图表和 scan-services 子图表
cnc Helm 图表和 Chart.yaml 文件
scan-services Helm 子图表
全局 Helm 键值
示例：全局值
示例：仅 Connect 部署
示例：Connect 和扫描服务部署
查看 Helm 图表值
准备 Helm 密钥以部署 Coverity
配置 Pod 和容器安全上下文
准备 Helm 覆盖以安装 Connect 实例
启用 Kubernetes 部署
启用 Connect
指定 Connect 许可证密钥名称
指定入口密钥
使用 nginxConfig Helm 键
打开并公开提交端口
启用信任库
配置 Connect Web 应用程序 TLS 密钥库
配置 Connect Web 应用程序高可用性
为仅 Connect 部署禁用 scan-services Helm 子图表
准备 cim.cimweb Helm 键
指定 Coverity Connect Web URL
设置 cim.cimweb.adminPasswordSecret Helm 键
指定上下文路径
环境变量
Coverity Connect 属性
Java 选项
创建 PostgreSQL 数据库访问凭据
使用密钥指定 PostgreSQL 凭据
在 Helm 图表中指定 PostgreSQL 凭据
选择 PostgreSQL sslmode 并找到 TLS 的 PostgreSQL 根证书
创建 OpenShift Helm 覆盖
指定 OpenShift 的映像版本和类型
创建报告
通过 Helm 覆盖启用 Coverity 指标
指定日志记录级别
创建 Helm 覆盖以安装扫描服务
启用 scan-services Helm 子图表
启用许可证作业
指定扫描服务许可证密钥名称
设置 Helm 键以启用扫描工具同步
设置扫描服务存储保留期
管理工件上传到存储
存储服务 Helm 密钥
设置 MinIO 存储类型 Helm 密钥
存储服务自定义域
配置 Dell ECS 存储支持
配置 Red Hat OpenShift 存储
为扫描服务和存储服务数据库配置 postgres Helm 键
在 GCP 中附加 Cloud SQL 代理原生 sidecar 容器
在 pod 中添加初始化容器
将附加卷安装到 Pod
将 GCP Cloud SQL 代理作为原生 sidecar 附加到 Pod
扫描服务缓存
缓存服务密钥
Readiness probe 密钥
Liveness probe 密钥
缓存注解密钥
缓存服务的 AWS 键
Azure 密钥
GCP 密钥
MinIO 缓存 Helm 密钥
Redis 密钥
配置 TLS 转发代理
TLS 代理
mTLS 代理
TLS 不安全代理
配置 Pod 和容器安全
Pod 和容器安全上下文 Helm 键
安全上下文约束
containerSecurityContext 和扫描作业
automountServiceAccountToken Helm 键
生成 Connect SA admin 用户令牌
创建扫描作业节点池和调度扫描作业
概述：将每个扫描作业调度到其自己的节点上
概述：在单个节点上并行调度多个扫描作业
扫描服务和存储服务要求
扫描作业节点池大小
创建扫描作业节点池
使用节点自动扩缩器扩展节点并满足需求
启用每个节点的单扫描作业和多扫描作业
为每个节点配置一个扫描作业（多个节点池）
为每个节点配置多个扫描作业（单个节点池）
污染和容错
在每个节点的单扫描作业和多扫描作业之间切换
为扫描服务设置 onPrem OCI Redis 和 MinIO
基于 OCI 的注册表
（可选）创建和使用全局容器映像注册表
cnc/Chart.yaml 中的 Redis 和 MinIO 依赖项
启用 OCI Redis 和 MinIO
MinIO PersistentVolumeClaim (PVC) 大小
AWS：将 EBS 持久存储用作 MinIO PVC
安装包含 onPrem Redis 和 MinIO 的 CNC 图表版本
AWS：负载均衡器控制器
AWS：为 AWS 负载均衡器控制器服务帐户创建 IAM 策略
AWS：安装 aws-load-balancer-controller 图表并标记子网
AWS：Helm 覆盖和注释
AWS：生成 CNAME 入口证书
GCP：配置 GCE 容器原生负载均衡器
构建完整的分析套件并在部署期间自动将套件上传到 Connect
Connect Web 应用程序高可用性
Connect Web 应用程序 HA 性能
设置和管理高可用性
管理 cimweb Pod 副本
使用 commit-server Pod 优化提交性能和吞吐量
使用亲和性在节点上分配 Pod
重新部署 Coverity Connect Web 应用程序
Web 应用程序 Pod 故障场景
Coverity Connect Web 应用程序 HA 的已知问题
为部署安装图表版本
使用 helm install 命令
Helm 图表验证和错误日志记录
为单个 Coverity 实例安装图表版本
安装和升级后的任务
访问 Connect UI
上传 Coverity Connect 许可证
配置 SAML
配置 LDAP
配置 Jira
添加 Bugzilla 证书
配置 Kerberos
验证 Coverity 云部署
在 Connect UI 中管理受支持的 Coverity 工具和 Thin Client 版本
将 Coverity 工具工件上传到 Connect UI
可用的 Coverity 工具窗口
默认 Coverity 工具版本和 CI/CD 管道
设置 CI/CD 管道的默认 Coverity 工具版本
取消设置 CI/CD 管道的默认 Coverity 工具版本
更改 CI/CD 管道的默认 Coverity 工具版本
存档 Coverity 工具版本
删除 Coverity 工具版本
安装客户端软件
在客户端系统上安装 Coverity Thin Client
在客户端系统上安装完整的 Coverity Analysis 客户端
使用 Black Duck Bridge CLI 将 Thin Client 分析集成到管道中
下一步是什么？准备和执行分析
管理 Connect Web 应用程序管理员密码
Connect Web 应用程序管理员密码要求
创建 Connect Web 应用程序管理员密码密钥
设置 cim.cimweb.adminPasswordSecret Helm 键
手动更改 Connect Web 应用程序管理员密码
指标
设置 Helm 键以使指标可用
将指标公开给数据采集和监控软件
设置 Helm 键以添加用于抓取的注释
设置指标显示
Coverity Connect 指标示例
为某些指标启用事件日志
Coverity 云部署中 Connect 应用程序指标
管理和解释指标
性能指标
提交指标
视图加载指标
API 指标
数据库指标
扫描服务指标
存储服务指标
备份和骨架化指标
流锁定指标
Redis 缓存指标
软件分析指标
Kubernetes 指标
保存和分析日志以发现根本问题
Connect UI 系统总计列表
管理 Coverity 云部署
Connect 管理程序
Coverity Connect：获取 Connect 配置
连接 — 验证 kubectl 连接
Helm — 获取单个 Helm 发行版的详细状态
Helm — 寻找失败的 Helm 发行版
Kubernetes — 检查节点运行状况
Kubernetes — 列表事件
日志 — 检查终端日志
Pod — 描述 pod
Pod - 列出所有 pod
Pod — 从 pod 中提取日志
升级 Coverity 云部署
准备升级 Coverity
执行升级
升级后要完成的任务
升级注意事项
升级到 2025.12
升级到 2025.9.2
使用已迁移的 Bitnami 注册表
升级到 2025.9
升级到 2025.6.2
升级到 2025.6
升级到 2025.3.1
升级到 2025.3
升级到 2024.12
升级到 2024.9.1
升级到 2024.9.0
升级到 2024.6
升级到 2024.3
升级到 2023.12.2
升级到 2023.12.0
升级到 2023.12.0：Thin Client 向前兼容性
2023.12.0 版本中的 Helm 键更改
升级到 2023.9
2023.9.2 版本中移除的 Helm 键
添加的 2023.9.0 版本 Helm 键
升级到 2023.6
2023.6.1 Helm 键值更改
2023.6.0 版本中添加、重命名或已移除的 Helm 键
升级到 2023.3
2023.3 版本中添加、重命名或移除的 Helm 密钥
卸载 Coverity 云部署
故障排除指南
使用 Coverity CLI 下载扫描工件
使用 Connect API 下载扫描日志
检查 Pod 日志以查找错误
许可证已过期或者已被节点锁定
对数据库连接性进行调试
卷的问题
缺少密钥或配置映射
入口：SAML URL 使用 http 而不是 https
入口标头：为 Google GCP 创建入口注释
入口标头：为 NGINX 设置 X-Forwarded-proto
列出并验证入口
NGINX HTTP 错误 413：请求实体过大
NGINX HTTP 错误 504：网关超时
映像提取错误
Pod 无法进行时间安排
缺少 cim-tools Pod
只读文件系统错误
Coverity 云支持
第三方软件和平台支持列表
Coverity 客户端支持列表
受支持的 Coverity 工具 (Thin Client) 和完整分析客户端版本
Coverity 工具 (Thin Client) 和完整分析客户端的历史 Coverity 支持
Docker 基础映像
端口
扫描服务存储支持
Pod 和容器安全上下文支持
Coverity 云部署的 Helm 密钥
全局 Helm 键
根 Helm 键
cnc Helm 图表：Helm 键
scan-services Helm 子图表：Helm 键
Coverity 云部署中的 Coverity 工具
在 Coverity 云部署中不支持 Coverity cov-admin-db 工具
创建和安装 /data 持久卷
检查数据库完整性：check-integrity.sh
重置 Coverity Connect 密码：reset-admin-password.sh
管理存档：cov-archive.sh
管理 Coverity Connect：cov-manage-im
所有检查器
SpotBugs™ 检查器说明书
SpotBugs 库简介
SpotBugs 检查器
安全检查器
Coverity 发行说明和升级注意事项
Coverity 当前版本说明
Coverity 2025.12.x
Coverity 2025.12.2 发行说明
Coverity 2025.12.1 发行说明
Coverity 2025.12.0 发行说明
PostgreSQL 受支持的版本
发行说明存档
Coverity 2025.9.x
Coverity 2025.9.2 发行说明
Coverity 2025.9.1 发行说明
Coverity 2025.9.0 发行说明
PostgreSQL 受支持的版本
Coverity 2025.6.x
Coverity 2025.6.2 发行说明
Coverity 2025.6.0 发行说明
PostgreSQL 受支持的版本
Coverity 2025.3.x
Coverity 2025.3.1 发行说明
Coverity 2025.3.0 发行说明
PostgreSQL 受支持的版本
Coverity 2024.12.x
Coverity 2024.12.0 发行说明
PostgreSQL 受支持的版本
Coverity 2024.9.x
Coverity 2024.9.1 发行说明
Coverity 2024.9.0 发行说明
PostgreSQL 受支持的版本
Coverity 2024.6.x
Coverity 2024.6.1 发行说明
Coverity 2024.6.0 发行说明
PostgreSQL 受支持的版本
Coverity 2024.3.x
Coverity 2024.3.2 发行说明
Coverity 2024.3.1 发行说明
Coverity 2024.3.0 发行说明
PostgreSQL 受支持的版本
Coverity 2023.12.x
Coverity 2023.12.3 发行说明
Coverity 2023.12.2 发行说明
Coverity 2023.12.1 发行说明
Coverity 2023.12.0 发行说明
PostgreSQL 受支持的版本
Coverity 2023.9.x
Coverity 2023.9.3 发行说明
Coverity 2023.9.2 发行说明
Coverity 2023.9.1 发行说明
Coverity 2023.9.0 发行说明
PostgreSQL 受支持的版本
Coverity 升级注意事项
重要的升级注意事项
适用于 2025.12 的升级注意事项
适用于 2025.9 的升级注意事项
适用于 2025.6 的升级注意事项
适用于 2025.3 的升级注意事项
运行 Coverity Analysis 2025.3 时在 Sigma 中禁用的检查器
适用于 2024.12 的升级注意事项
Coverity Analysis
在 2024.12.0 中已由 Sigma 检查替换 Coverity Analysis 检查器
Coverity Connect
Coverity Point and Scan
适用于 2024.9 的升级注意事项
在 2024.9.1 中已由 Sigma 检查替换 Coverity Analysis 检查器
在 2024.9.0 中已由 Sigma 检查替换 Coverity Analysis 检查器
适用于 2024.6 的升级注意事项
Bazel 集成方法的更改
分类信息丢失
Coverity Analysis 检查器已由 Sigma 检查替换
适用于 2024.3 的升级注意事项
更改了 Bazel 构建的项目中发出文件的路径
适用于 2023.12 的升级注意事项
适用于 2023.9 的升级注意事项
运行 Coverity Analysis 时重新启用 Sigma 检查
无构建捕获
Coverity Analysis 检查器已由 Sigma 检查替换
已移除 Coverity Analysis 检查器
适用于 2023.6 的升级注意事项
转换 C++ 风格注释
运行 Coverity Analysis 时在 Sigma 中禁用的检查器
适用于 2023.3 的升级注意事项
已更新软锁定策略
多个 Coverity Analysis 检查器已由 Sigma 检查器替换
运行 Coverity Analysis 时在 Sigma 中禁用的检查器
适用于 2022.12 的升级注意事项
多个 Coverity Analysis 检查器已由 Sigma 检查器替换
运行 Coverity Analysis 时在 Sigma 中禁用的检查器
适用于 2022.9 的升级注意事项
多个 Coverity Analysis 检查器已由 Sigma 检查器替换
运行 Coverity Analysis 时在 Sigma 中禁用的检查器
适用于 2022.6 的升级注意事项
多个 Coverity Analysis 检查器已由 Sigma 检查器替换
运行 Coverity Analysis 时在 Sigma 中禁用的检查器
适用于 2022.3 的升级注意事项
Coverity Analysis
多个 Coverity Analysis 检查器已由 Sigma 检查器替换
运行 Coverity Analysis 时在 Sigma 中禁用的检查器
适用于 2021.12 的升级注意事项
Coverity Analysis
多个 Coverity Analysis 检查器已由 Sigma 检查器替换
运行 Coverity Analysis 时在 Sigma 中禁用的检查器
适用于 2021.9 的升级注意事项
Coverity Analysis
无构建捕获
已引入的 Sigma 检查器；已停用的旧式检查器
Sigma Analysis 引擎平台要求
后果和缓解措施
替换了 Swift 检查器
移除了 Swift 检查器
替换了 Java、JavaScript 和 TypeScript 检查器
对 Swift 代码分析的更改
适用于 2021.06 的升级注意事项
Coverity Analysis
无构建捕获
适用于 2021.03 的升级注意事项
适用于 2020.12 的升级注意事项
适用于 2020.09 的升级注意事项
适用于 2020.06 的升级注意事项
适用于 2020.03 的升级注意事项
Coverity Connect
适用于 2019.12 的升级注意事项
Coverity Analysis
分析 node_modules 中的编译单元
无构建捕获
Crossworks MSP430 支持更改
Coverity Desktop
更新 IBM RTC 插件
适用于 2019.09 的升级注意事项
适用于 2019.06 的升级注意事项
适用于 2019.03 的升级注意事项
适用于 2018.12 的升级注意事项
Coverity Analysis
适用于 2018.09 的升级注意事项
废弃通知
生命终结 (EOL) 通知
Coverity Platform
Coverity Analysis
Coverity Desktop
适用于 2018.06 的升级注意事项
废弃通知
生命终结 (EOL) 通知
Coverity Platform
Coverity Analysis
115851 FlexNet 库和 lgmrd v11.15.0+
Coverity Desktop
Coverity Connect Web Services API 发行和废弃时间表
Coverity 术语表
法律声明
Black Duck 关于包容性和多样性的声明

Back to home page