AdaCore是一家值得信赖的软件开发和验证工具提供商，今天宣布它正在与Synopsys软件完整性组AdaCore是一家领先的高级应用安全测试工具提供商GNAT静态分析套件可用于SynopsysCoverity®客户静态分析。

Synopsys销售Coverity工具，该工具提高了用多种编程语言(包括C和c++)编写的应用程序的可靠性、安全性和安全性。为了支持Coverity客户需要Ada编程语言的静态分析，Synopsys正在与领先的Ada专家AdaCore合作。联合客户将能够使用AdaCore为Ada开发的GNAT静态分析套件，该套件集成在Coverity解决方案中，提供了一个通用接口来导航所有语言的静态分析结果。

关于GNAT静态分析套件

GNAT静态分析套件是一个完整的静态分析工具的补充，专门为Ada。它包括CodePeer——一个自动Ada源代码分析器，可以在开发周期的任何阶段检测运行时和逻辑错误和漏洞;GNATmetrics—一个代码度量计算工具;GNATcheck -一个编码标准验证工具，自动检查Ada应用程序是否符合组织和项目特定的编码标准要求。

CodePeer运行在Windows和Linux平台上，可以与任何标准Ada编译器一起使用，也可以完全集成到GNAT Pro开发环境中。它可以检测常见弱点枚举中的几个“前25个最危险的软件错误”，并支持Ada的所有版本(83,95,2005,2012,2022)。GNATcheck允许开发人员根据一组可配置的规则(从特性限制、可移植性关注、样式指南等等)自动检查Ada编译器已经提供的代码，从而遵循最佳实践。

AdaCore全球产品和市场总监Quentin Ochem表示:“Ada编程语言广泛应用于高诚信行业，我们两家公司都很好地覆盖了这个领域。“我们很高兴能与Synopsys联手，让我们的共同客户能够通过当今市场上最先进的环境之一，确保他们的源代码跨编程语言的质量和健壮性。”

Synopsys software Integrity Group产品管理总监James Croall表示:“将AdaCore在Ada软件测试方面的专业知识引入Coverity工作流程，将使开发人员能够在一个地方访问他们所有的质量和安全测试结果——无论是C/ c++还是Ada。”AdaCore静态分析工具将补充和扩展Coverity的行业领先功能，并为Ada语言客户提供他们所需的安全测试，以交付对其软件的信任。”

有关AdaCore的GNAT静态分析套件或要求报价的更多信息，请联系我们．

• 
• 
• 
• 
•