industry news
Subscribe Now

AdaCore Launches GNAT Dynamic Analysis Suite

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

NEW YORK, February 22, 2022 – AdaCore, a trusted provider of software development and verification tools, today announces 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 in 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.

Sign up here to receive updates about our new fuzzing tool.

Availability

The GNAT Dynamic Analysis Suite is available as an add-on to GNAT Pro Enterprise and GNAT Pro Assurance subscriptions and can be used with all versions of the Ada language standard, as well as the formally analyzable SPARK Ada subset. Some of its capabilities, such as structural code coverage, also support C.

Contact us today to learn what our GNAT Dynamic Analysis Suite can do for you!

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems.

Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defense systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/industries for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com.

Leave a Reply

featured blogs
Mar 13, 2025
All good things must come to an end, as they say, and so we bid a sad farewell to the Bulwer-Lytton Fiction Contest (BLFC)...

Libby's Lab

Libby's Lab - Scopes out: Analog Devices DEMO-ADIN1100D2Z Media Converter Boards

Sponsored by Mouser Electronics and Analog Devices

Mouser Electronics presents Libby's Lab - scoping out Analog Devices DEMO-ADIN1100D2Z Media Converter Boards for long-run Ethernet connectivity.

Click here for more information about Analog Devices Inc. DEMO-ADIN1100D2Z Media Converter Board

featured chalk talk

Building Trusted Industrial Automated Control Systems with MAXQ1065
In this episode of Chalk Talk, Christophe Tremlet from Analog Devices and Amelia explore how we can build trusted industrial automated control systems with the MAXQ1065 Ultra-Low-Power Cryptographic Controller with ChipDNA™ for Embedded Devices. They investigate how this solution utilizes physical unclonable function encrypted memory, secure key storage and asymmetric crypto public key deployment to provide a great solution for industrial automated control systems.
Feb 17, 2025
34,679 views