AdaCore (New York, NY) 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. 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. The latest update to CodePeer features:
- More precise diagnostic messages and fewer “false positives”.
- An independent Ada front end, making it even more efficient and flexible.
- 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).
For more information, visit www.adacore.com