Enhance Your Code's Security: Thoroughly Scan Your Code for Vulnerabilities and Defects

The Software Engineering Institute estimates that 90% of reported security incidents are a result of exploits against software design or coding defects. To help developers eliminate coding defects during the development cycle—long before they can be exploited by malevolent attackers —AdaCore presents the GNAT Static Analysis Suite (GNAT SAS).

Through automated processes, GNAT SAS helps developers achieve clean, secure, high-quality Ada code. Its tools were designed specifically for Ada and have been refined through decades of experience. GNAT SAS allows you to automatically scan for a number of known security vulnerabilities, allowing you to concentrate manual code review of the most complex problems.

GNAT Static Analysis Suite
Defects and Vulnerability AnalysisCoding Standard Verification Metric Computations

Experience smooth and seamless integration with GNAT Pro, your all-in-one solution

Gnatsasoverview pane3 1 icon preview

The premier Ada source code analyzer

GNAT SAS comes with an analysis engine that helps you find code defects and vulnerabilities quickly, so you can eliminate them early in development when they’re far less expensive to correct.

Learn More

Gnatsasoverview pane3 2 icon preview

An automated coding standard verification tool

GNAT SAS automatically checks Ada applications for compliance with organizational and project-specific coding standard requirements. It allows developers to quickly check and clean up their code ahead of code reviews, code check-ins and QA reviews.

Learn More

Gnatsasoverview pane3 3 icon preview

A utility for reporting source code metrics

GNAT SAS takes your Ada source file and generates a report of the metrics you’ve selected. It saves you time and effort in meeting the reporting requirements of your software development standard. You can then use the results to help you improve the quality of your code.

Learn More