Latest version of its static analysis tool from AdaCore

AdaCore has announced the release of CodePeer 2.3, the latest version of its static analysis tool for the automated review and validation of Ada source code. CodePeer assesses potential bugs before program execution to find errors efficiently and early in the development life cycle. It also performs impact and vulnerability analysis when existing code is modified, and, using control-flow, data-flow and other advanced static analysis techniques, the tool detects problems that would otherwise only be found through labor-intensive debugging. The latest update to CodePeer delivers more precise diagnostic messages and fewer “false positives”. It also includes an independent Ada front end, making it even more efficient and flexible. To simplify the development process, CodePeer 2.3 provides better integration with AdaCore’s two IDEs: GNAT Programming Studio (GPS) and GNATbench (the GNAT Pro Ada plug-in for Eclipse and Wind River Systems Workbench). Other enhancements include support for floating point overflow on unconstrained types, the ability to supply target configuration files, and improved support for existing codebases in Ada 83. Improved message review capabilities are now available through pragma Annotate, and the tool provides new warnings when a formal parameter could be declared with a more restrictive mode. CodePeer is fully integrated into the GNAT Pro development...