AdaCore, the logically named Ada development tools and support services company, has this week released CodePeer 2.0, its advanced source code analysis tool offered as an option for developers looking to detect potential runtime and logic errors in Ada programs.
CodePeer 2.0 also includes 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 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."
New enhancements in CodePeer 2.0 include:
- 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
- Fewer "false positives" (false alarms)
- Improved integration with the GPS IDE