AdaCore Collaborates with Synopsys to Offer Ada Static Analysis Solution to Coverity Customers

  • Date: 14th December 2022
  • Company: AdaCore

Coverity customers can now benefit from AdaCore’s GNAT Static Analysis Suite and Ada expertise to ensure the quality, security, and reliability of their Ada code

BRISTOL, UK, December 14th, 2022 – AdaCore, a trusted provider of software development and verification tools, today announced that it is collaborating with Synopsys Software Integrity Group, a leading provider of advanced application security testing tools, to make AdaCore’s GNAT Static Analysis Suite available to Synopsys Coverity® static analysis customers.

Synopsys markets the Coverity tool, which improves the reliability, safety, and security of applications written in a number of programming languages, including C and C++. To support Coverity customers needing static analysis for the Ada programming language, Synopsys is working with the leading Ada expert, AdaCore. Joint customers will be able to use AdaCore’s GNAT Static Analysis Suite for Ada, integrated within the Coverity solution, providing a common interface to navigate static analysis results for all languages.

About the GNAT Static Analysis Suite

The GNAT Static Analysis Suite is a full complement of proven static analysis tools specifically for Ada. It includes CodePeer - an automated Ada source code analyser that detects run-time and logic errors and vulnerabilities at any stage of the development cycle; GNATmetrics - a code metric computation tool; and GNATcheck - a coding standard verification tool that automatically checks Ada applications for compliance with organisational and project-specific coding standard requirements.

CodePeer runs on Windows and Linux platforms and may be used with any standard Ada compiler or fully integrated into the GNAT Pro development environment. It can detect several of the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration and supports all versions of Ada (83, 95, 2005, 2012, 2022). GNATcheck allows developers to follow best practises by automatically checking code, beyond what the Ada compiler already offers, against a configurable set of rules ranging from feature restrictions, portability concerns, style guides, and more.

“The Ada programming language is used widely in the high-integrity industry, a domain that is well covered by both of our companies,” said Quentin Ochem, Global Director of Products and Markets at AdaCore. “We are thrilled to join our forces with Synopsys and to enable our joint customers to ensure quality and robustness for their source code across programming languages through one of the most advanced environments available on the market today."

“Bringing AdaCore’s expertise in Ada software testing into the Coverity workflow will enable developers to have access to all of their quality and security testing results—whether C/C++ or Ada—in one place,” said James Croall, Director of Product Management, Synopsys Software Integrity Group. “The AdaCore static analysis tools will complement and extend the industry leading capabilities of Coverity and provide Ada language customers the security testing they require to deliver trust in their software.”

For more information about AdaCore’s GNAT Static Analysis Suite or to request a quote, please contact us.

Share this article:


Make an Enquiry

We will protect your privacy - the data you provide on this contact form will only be forwarded to the intended recipient.

Contact Details

AdaCore Ltd
Yeovil Innovation Centre
Copse Rd, Barracks Close
BA22 8RN
United Kingdom

+44 (0) 1935 385973

List Your Company Design Agency