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
