软件代码静态分析工具Coverity®

在大型复杂软件中查找代码质量缺陷的最值得信赖的解决方案

Coverity® 是面向大型复杂软件的静态分析工具,无需执行应用即可分析源代码,识别安全漏洞与代码质量缺陷,帮助开发和安全团队在交付前发现问题。

产品能力

发现复杂代码中的质量与安全缺陷

对跨文件、跨库的代码路径进行静态分析,帮助开发与安全团队发现质量缺陷和安全漏洞。适用于大型应用及复杂代码库的持续检查。

跟踪编码标准与合规检查

按问题类型、严重程度和标准要求组织结果,支持安排整改优先级以及跟踪团队和项目的修复进展。

  • 编码规范:MISRA、AUTOSAR、CERT C/C++/Java、ISO/IEC TS 17961。
  • 安全要求:OWASP Top 10、OWASP Mobile Top 10、CWE Top 25、DISA STIG。
  • 功能安全与行业要求:支持与 ISO 26262、PCI DSS 等相关的检查与报告。具体覆盖范围以产品版本及适用语言为准。

覆盖多语言与常见开发框架

支持 C/C++、C#、Java、JavaScript、Python、Go 等多种语言,以及常见应用框架和基础设施即代码场景。具体语言、框架和检查器支持情况以官方版本说明为准。

Coverity 支持的编程语言与开发框架示意
Coverity 支持的编程语言与开发框架示意。来源:Black Duck 官方图示(原官网截图局部)

通过 Code Sight 将分析带入 IDE

开发人员可在编码过程中查看质量与安全问题,结合问题摘要、CWE 信息和修复指导及时整改,不必等到发布前才集中处理缺陷。

融入现有工具与自动化流程

通过 IDE、源码管理(SCM)、CI 和问题跟踪工具集成,将分析嵌入团队已有流程。

  • 在代码提交和合并请求阶段触发扫描,尽早暴露问题。
  • 在开发、测试和发布流程中跟踪缺陷,支持跨项目、跨团队的应用组合管理。
在开发、测试、发布和运维流程中集成安全分析
在开发、测试、发布和运维流程中集成安全分析。来源:Black Duck 官方图示(原官网截图局部)

产品资料:Black Duck 官方产品介绍

产品咨询

繁盛微电子(Foresemi)是 Black Duck 授权合作伙伴,提供相关产品的选型咨询与采购服务。

合作资质:Black Duck 中国区授权代理商及经销商。具体可供产品、授权范围及交易条件,以厂商当前授权及订单或合同约定为准。

产品选型、配置与采购咨询,请联系我们。

返回 Black Duck 产品总览