NEW YORK – AdaCore in New York is introducing the GNAT Dynamic Analysis Suite software design and development tools to help Ada programming language developers build safe, secure software and follow internal security and quality procedures.
Features include the GNATtest automated test-harness generator for Ada; GNATcoverage tool that analyzes and reports Ada and C program coverage; sound analysis, test, and verification evidence that satisfies certification requirements for industry software safety standards; and early access to emerging cyber security technologies, such as fuzzing.
Fuzz testing is becoming increasingly important for cyber security. It is already required in DO-356 compliance for airworthiness security and is becoming mandatory to secure the software supply chain. This spring AdaCore will issue the beta release of a fuzzing tool for Linux native platforms.
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.
For more information contact AdaCore online at www.adacore.com/dynamic-analysis.
