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.
The premier Ada source code analyze
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.
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.
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.