Overview

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.

Features

• Automated Defects and Vulnerability Analysis: GNAT SAS scans Ada code for known security vulnerabilities, allowing developers to focus manual code reviews on the most complex issues.
• Coding Standard Verification: The suite automatically checks Ada applications for compliance with organizational and project-specific coding standards, helping developers clean up their code ahead of reviews and check-ins.
• Source Code Metrics Reporting: GNAT SAS generates detailed reports on selected metrics from Ada source files, aiding in the improvement of code quality and meeting reporting requirements.
• Seamless Integration with GNAT Pro: GNAT SAS integrates smoothly with GNAT Pro, providing an all-in-one solution for Ada development and static analysis.

Benefits

• Enhanced Security: By detecting and eliminating coding defects early in the development cycle, GNAT SAS helps prevent exploits and security incidents.
• Efficiency: Automated processes save time and effort, allowing developers to concentrate on more complex problems.
• Compliance: Ensures adherence to coding standards, facilitating smoother code reviews and quality assurance processes.
• Improved Code Quality: Detailed metrics reports help developers identify areas for improvement, leading to higher-quality code.
• User-Friendly Integration: The seamless integration with GNAT Pro provides a streamlined workflow for Ada developers, enhancing productivity.