CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors easily at any stage of the development life-cycle. CodePeer helps improve the quality of code and makes it easier to perform safety and/or security analysis.
CodePeer is a stand-alone tool that runs on Windows and Linux platforms; it may be used with any standard Ada compiler or fully integrated into the GNAT Pro development environment.