GNAT Static Analysis Suite applies semantic, control-flow, data-flow, taint, and memory analysis across complete Ada programs. Using abstract interpretation and symbolic execution, it follows feasible execution paths across procedures and modules to expose defects before production. The suite supports Ada 83, 95, 2005, 2012, and 2022, along with selected compiler extensions, and can operate beside SPARK to assess code that remains unproven.
The suite identifies potential runtime failures, memory faults, unsafe data movement, code smells, and numerous Common Weakness Enumerations. It also combines GNAT compiler warnings, predefined coding rules, customizable LKQL checks, and software metrics covering lines, syntax, complexity, coupling, and contracts. These capabilities support enterprise, embedded, safety-critical, and high-assurance teams maintaining legacy code, integrating third-party software, or preparing evidence for programs governed by standards such as DO-178C and ISO 26262.
