AdaCore Releases Major New Version of CodePeer Source Code Analysis Tool
More efficient, generates fewer “false positive” messages
NEW YORK and PARIS, April 12, 2011 - AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer 2.0, the advanced source code analysis tool that helps developers detect potential run-time and logic errors in Ada programs. 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.”
A webinar introducing the CodePeer 2.0 features will be presented by Tucker Taft (SofCheck) on May 5, 2011, at 11:00 am (EDT) / 5:00 pm (GMT). For more information, or to register, please visit http://www.adacore.com/home/gnatpro/webinars/.
Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors, such as buffer overflows, and it flags legal, but suspect, code typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and post-conditions. Such an analysis makes it easier to find potential bugs and vulnerabilities early: if the implicit specification deduced by CodePeer does not match the component’s requirements, a reviewer is alerted immediately to a likely logic error. CodePeer can be used both during system development − to prevent errors from being introduced, or as part of a systematic code review process to dramatically increase the efficiency of human review − and retrospectively on existing code, to detect and remove latent bugs.
CodePeer was developed jointly by AdaCore and SofCheck.
Pricing and Availability
CodePeer is immediately available. Please contact AdaCore (firstname.lastname@example.org) for information on pricing and supported configurations.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.
Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.
AdaCore has North American headquarters in New York and European headquarters in Paris.