NEW YORK, PARIS and NUREMBERG, Germany, February 28, 2012 – Embedded World Conference - AdaCore today announced the release of CodePeer 2.1, the advanced static analysis tool that helps developers detect potential run-time and logic errors in Ada programs. By mathematically analyzing every line of software, and considering every possible input and every path through the program, CodePeer can be used very early in the development life-cycle to identify problems when defects are much less costly to repair.
CodePeer 2.1 introduces many enhancements, most driven by customer feedback, including:
- Complete support for all new features of the upcoming Ada 2012 language revision;
- Improved support for race condition analysis: support for specifying custom task entry points and locking functions; automatic handling of the environment task;
- Detection of access to global uninitialized variables;
- More precise preconditions to provide more accurate messages and reduce “false positives”;
- Improved handling of unused assignments; and
- New warning on infinite loops.
The new release also includes enhancements to two tools that are part of the CodePeer product:
- Many new options and pretty-printing improvements in gnatpp;
- Coupling metrics now available in gnatmetric.
“CodePeer 2.1 is the most advanced Ada static analyzer technology available, bringing exciting and powerful capabilities to the developer,” said Arnaud Charlet, CodePeer Product Manager at AdaCore. “CodePeer is very easy to use and deploy, and combined with GNAT Pro and the new features of Ada 2012, it ensures a level of code quality that developers of highly-reliable software demand.”
A webinar introducing the CodePeer 2.1 features will be presented by Tucker Taft on April 10, 2012, at 11:00 am (EDT) / 5:00 pm (GMT). For more information, or to register, please visit
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 in several ways. During system development it can help prevent errors from being introduced, and it can also be used as part of a systematic code review process to dramatically increase the efficiency of human review. CodePeer can also be applied retrospectively on existing code, to detect and remove latent bugs.
Pricing and Availability
CodePeer is immediately available. Please contact AdaCore (email@example.com) 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. www.adacore.com