Scan your Code for Security Vulnerabilities
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 has put together the GNAT Static Analysis Suite.
Through automated processes, the GNAT Static Analysis Suite helps developers achieve clean, secure, high-quality Ada code. Its tools were designed specifically for Ada and have been refined through decades of experience. The GNAT Static Analysis Suite allows you to automatically scan for a number of known security vulnerabilities, allowing you to concentrate manual code review of the most complex problems.
A utility for reporting source code metrics
GNATmetric 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.