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 environment and comes with a number of complementary static analysis tools common to the technology – a coding standard verification tool (GNATcheck), a source code metric generator (GNATmetric), a semantic analyzer and a document generator.

“It has been exciting to bring the 2.3 release to our customers, with CodePeer now established as the most advanced and precise static analysis tool available for Ada,” said Tucker Taft, AdaCore Vice President and Director of Language Research. “It was especially gratifying to integrate CodePeer with Ada 2012’s contract-based programming capabilities; this has really advanced the state of the art in software verification.”

Pricing and Availability
CodePeer 2.3 is immediately available. Please contact AdaCore (info@adacore.com) for information on pricing and supported configurations.

Source: www.adacore.com