CodePeer Description
The Most Comprehensive Static Analysis Toolsuite available for Ada. CodePeer assists developers to gain a deeper understanding of their code and create more reliable and secure software systems. CodePeer is an Ada code analyzer that detects logic and run-time errors. It helps to identify errors at every stage of the development process. CodePeer can improve the quality of your code, and make it easier to do safety and/or security analyses. CodePeer can be used standalone on Windows or Linux platforms. It can also be integrated into GNAT Pro's development environment. It can detect many of the "Top 25 Most Dangerous Software errors" in the Common Weakness Enumeration. CodePeer supports all Ada versions (83, 95 and 2005, as well as 2012). CodePeer is a certified Verification Tool under the EN 50128 and DO-178B software standards.
Integrations
Company Details
- How engineering teams use real-time customer data to achieve business goals.
- How to elevate your business to a new level of engineering efficiency with AI.
- Strategies used by engineering teams at Instacart, Staples Canada, Televisa Univision, CrossFit, and ClearScore to improve KPIs and drive efficiencies.