AdaCore Launches GNAT Dynamic Analysis Suite

The most comprehensive code coverage, analysis, and testing tool package available for Ada users

AdaCore announced the availability of its new GNAT Dynamic Analysis Suite – a powerful bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures.

“From decades of experience helping customers build critical software systems, we know that the most successful workflows incorporate multiple approaches to testing,” said Arnaud Charlet, Lead of Product Engineering at AdaCore. “Our new GNAT Dynamic Analysis Suite does just that, integrating into one package our code coverage and unit testing tools, as well as emerging technologies, like fuzz testing, which is on the near-term roadmap.”

Features and Benefits of the GNAT Dynamic Analysis Suite:

• The GNATtest automated test-harness generator for Ada
• The GNATcoverage tool that analyzes and reports Ada and C program coverage
• Sound analysis, test, and verification evidence that satisfies certification requirements for a variety of industry software safety standards (available as an option for GNAT Pro Assurance customers) Early access to emerging cybersecurity technologies, such as fuzzing

Fuzzing is Coming!

Fuzz testing (fuzzing) is becoming increasingly important in the age of cybersecurity. It is already required in DO-356 compliance (Airworthiness Security Methods and Considerations) and is becoming mandatory as part of national efforts to secure the software supply chain. In Q2 2022, AdaCore will be issuing the beta release of a new fuzzing tool for Linux native platforms, which will be available for select GNAT Pro customers.