Channels ▼
RSS

Tools

AdaCore CodePeer Source Code Analysis Tool


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


Related Reading


More Insights






Currently we allow the following HTML tags in comments:

Single tags

These tags can be used alone and don't need an ending tag.

<br> Defines a single line break

<hr> Defines a horizontal line

Matching tags

These require an ending tag - e.g. <i>italic text</i>

<a> Defines an anchor

<b> Defines bold text

<big> Defines big text

<blockquote> Defines a long quotation

<caption> Defines a table caption

<cite> Defines a citation

<code> Defines computer code text

<em> Defines emphasized text

<fieldset> Defines a border around elements in a form

<h1> This is heading 1

<h2> This is heading 2

<h3> This is heading 3

<h4> This is heading 4

<h5> This is heading 5

<h6> This is heading 6

<i> Defines italic text

<p> Defines a paragraph

<pre> Defines preformatted text

<q> Defines a short quotation

<samp> Defines sample computer code text

<small> Defines small text

<span> Defines a section in a document

<s> Defines strikethrough text

<strike> Defines strikethrough text

<strong> Defines strong text

<sub> Defines subscripted text

<sup> Defines superscripted text

<u> Defines underlined text

Dr. Dobb's encourages readers to engage in spirited, healthy debate, including taking us to task. However, Dr. Dobb's moderates all comments posted to our site, and reserves the right to modify or remove any content that it determines to be derogatory, offensive, inflammatory, vulgar, irrelevant/off-topic, racist or obvious marketing or spam. Dr. Dobb's further reserves the right to disable the profile of any commenter participating in said activities.

 
Disqus Tips To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy.
 

Video