GNAT Dynamic Analysis Suite (GNAT DAS) unifies automated unit testing, fuzzing, structural coverage, coding-rule checks, compiler diagnostics, and software metrics for safety- and security-focused development. Its toolset supports Ada 83 through Ada 2022, GNAT and SPARK extensions, C89 through C18, C++98 through C++20, and recent Rust releases. GNATcoverage measures statement, decision, and MC/DC coverage across mixed-language codebases, while combining evidence from separate test runs, execution conditions, and binaries into one verification view.
GNATtest creates and maintains unit-test scaffolding, drivers, and harness code as software changes, reducing repetitive setup work. GNATfuzz generates and executes inputs at high frequency, using input-to-state mapping and symbolic execution to reach difficult branches and expose crashes, hangs, invalid assumptions, and other unsafe behavior. The suite operates across GNAT Pro-supported native and cross-development environments and provides qualification material for programs addressing DO-178C, ISO 26262, EN 50128, IEC 61508, DO-326A/ED-202A, DO-356A, IEC 62443, and ISO/SAE 21434.
