Free Submission Public Relations & NewsPR-inside.com
Home
Deutsch English

Computer & Technology

AdaCore Releases Major New Version of CodePeer Static Analysis Tool


Print article Print article

Screen shot: AdaCore CodePeer Analysis Report (view from GPS IDE)
Screen shot: AdaCore CodePeer Analysis Report (view from GPS IDE)
2014-02-05 13:05:09 - Automatic code review and validation tool brings a new level of flexibility and efficiency to Ada software developers

TOULOUSE, PARIS, and NEW YORK, February 5, 2014 – ERTS2 Conference – AdaCore today announced the release of CodePeer 2.3, the latest version of its static analysis tool for the automated review and validation of Ada source code. CodePeer assesses potential bugs before program execution to find errors efficiently and early in the development life cycle. It also performs impact and vulnerability analysis when existing code is modified, and, using control-flow, data-flow, and other advanced static analysis techniques, the tool detects problems that would otherwise only be found through labour-intensive debugging.

The latest update to CodePeer delivers more precise diagnostic messages and fewer “false positives”. It also includes an independent Ada front end, making it even more efficient and flexible.

To simplify the development process, CodePeer 2.3 provides better integration with AdaCore’s two IDEs: GNAT Programming Studio (GPS) and GNATbench (the GNAT Pro Ada plug-in for Eclipse and Wind River Systems Workbench). Other enhancements include support for floating point overflow on unconstrained types, the ability to supply target configuration files, and improved support for existing codebases in Ada 83. Improved message review capabilities are now available through pragma Annotate, and the tool provides new warnings when a formal parameter could be declared with a more restrictive mode.

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.

“It has been exciting to bring the 2.3 release to our customers, with CodePeer now established as the most advanced and precise static analysis tool available for Ada,” said Tucker Taft, AdaCore Vice President and Director of Language Research. “It was especially gratifying to integrate CodePeer with Ada 2012’s contract-based programming capabilities; this has really advanced the state of the art in software verification.”
About CodePeer
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. During system development, CodePeer 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. Furthermore, CodePeer can be used retrospectively on existing code, to detect and remove latent bugs.

Pricing and Availability
CodePeer 2.3 is immediately available. Please contact AdaCore (info@adacore.com) for information on pricing and supported configurations.

About AdaCore
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 open source 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 www.adacore.com/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including space-based systems, commercial aircraft avionics, military systems, air traffic management/control, rail 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

Press Contacts
Jamie Ayre
AdaCore
press@adacore.com
twitter.com/AdaCoreCompany





Press Information:
AdaCore

Paris

Contact Person:
Jamie Ayre
Marketing Director
Phone: +33 1 49 70 67 16
email: email

Web: www.adacore.com

Disclaimer: If you have any questions regarding information in these press releases please contact the company added in the press release. Please do not contact pr-inside. We will not be able to assist you. PR-inside disclaims contents contained in this release.
Latest News
Read the Latest News
www.newsenvoy.com

 


Terms & Conditions | Privacy | About us | Contact PR-inside.com