CodePeer 2.0 also comes with a number of complementary static analysis tools common to the GNAT Pro technology – a coding standard verification tool (GNATcheck), a program metric generator (GNATmetric), a semantic analyzer, and a document generator that can be invoked through the GNAT Programming Studio (GPS) Integrated Development Environment (IDE).
CodePeer 2.0 introduces many enhancements to the technology, most driven by customer feedback, including:
Support for subprogram calls via pointers.
Much more efficient intermediate format (SCIL) generation, with faster processing and simpler (and fewer) SCIL files. In addition, CodePeer requires fewer partitions by default to perform an analysis.
Support for parallel SCIL generation on multiple cpus/cores, via the gnatmake “-j” switch.
New, “useless self assignment” warning when an assignment does not modify the destination variable.
Fewer “false positives” (false alarms).
Improved integration with the GPS IDE.
“CodePeer 2.0 brings maturity to our static analyzer technology and allows processing of large applications easily, taking particular advantage of multi-core computers,” said Arnaud Charlet, CodePeer Project Manager at AdaCore. “CodePeer is not just a bug finding tool; its ability, in particular, to generate and display annotations in a human readable form is a unique capability.”