AdaCore today released CodePeer 3.0, a major new version of its advanced static analysis tool for the automated review and validation of Ada source code. CodePeer 3.0 includes a variety of enhancements that help developers detect potential run-time and logic errors early in the software life cycle; and its deep analysis can directly support formal certification against industry-specific safety standards.

The new benefits of CodePeer 3.0 include tool qualification material for both the avionics and railway domains. The full release can be viewed here: AdaCore Releases CodePeer 3.0