Home Products Design AdaCore Releases Major New Version of CodePeer Static Analysis Tool

AdaCore Releases Major New Version of CodePeer Static Analysis Tool

AdaCore today announced the release of CodePeer 2.2, the advanced static analysis tool that helps developers detect potential run-time and logic errors in Ada programs. CodePeer is able to find non-trivial problems by systematically analyzing every possible input and path through the program, and can be employed very early in the development cycle to identify defects when they are the least costly to repair.

Design

23 April 2013

byNews Desk

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.

CodePeer 2.2 introduces many improvements, driven by customer feedback, including:

• Integration into GNATbench, the GNAT Pro Ada plug-in for Eclipse and Wind River Systems Workbench

• Full support for GNAT project files

• Message review from HTML reports

• New “–level” switch to easily tune CodePeer messages and analysis time for any kind of code base

• More accurate analysis of math functions and floating point computations

• Export of messages to spreadsheets

“CodePeer 2.2 brings users an extra level of flexibility through interfaces to Eclipse, spreadsheets, and full HTML capabilities,” said Arnaud Charlet, CodePeer Product Manager at AdaCore. “This new release now provides solutions for the full range of Ada projects, including those with requirements for the highest levels of integrity and certification, as well as systems with large and complex code bases.”