Channels ▼
RSS

Tools

Source-Code Analysis Must Hit Lower False Positive Rates


Source-code analysis tools company GrammaTech has announced CodeSonar 3.8, promising faster code analysis with fewer false positives. The current speed boost has been achieved by parallelizing the software's analysis engine to take full advantage of multi-core processors.

"The improvement is dramatic, especially for large projects. For example, on an 8-core machine, we have seen analysis times reduced by 85 percent," said Paul Anderson, VP of engineering at GrammaTech.

NOTE: CodeSonar is a static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code, and identifies complex programming bugs that can result in system crashes, memory corruption, concurrency errors, and other serious problems.

The company now claims to be able to produce a lower false positive rate due to a combination of new models for C/C++ libraries (e.g. Boost) and improvements to the analysis itself. Workflow enhancements have been incorporated to make it easier for developers to manage defect warnings across multiple project versions and development branches — and there is also better checking for concurrency-related errors.

This release is the first version to incorporate CodeSonar's software architecture visualization, which is designed to provide developers with insight into the relationships between elements in software and scales to large projects with millions of lines of source code.

"Fluid transitions allow developers to visualize massive data sets in real time and to see the program at different levels of abstraction. CodeSonar visualization also includes other program-understanding and navigation features, and supports annotations and sharing of diagrams between team members," said Anderson.


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