Channels ▼
RSS

Tools

Coverity Continues Scans Despite Developer Criticism


Despite widespread developer criticism of its code scan project results, Coverity continues to proffer forth its PR-fueled waves of news relating to the firm's analysis activities. The most recent of these defect density "revelations" comes as a result of inspection of the ANTLR open source Java project.

NOTE: ANTLR (ANother Tool for Language Recognition) is a Java-based parser generator for reading, processing, executing, or translating structured text or binary files.

ANTLR is used to build languages, tools, and frameworks and is downloaded more than 5,000 times per month. Coverity claims that ANTLR project members have used its technology to find and fix 20 previously undiscovered, high- and medium-risk defects, including a "resource leak" and a "copy-paste" error that could (allegedly) have caused a significant software crash in production.

Coverity expanded its free Coverity Scan service to include Java projects in May 2013. The service uses Java analysis algorithms to find critical defects such as resource leaks and concurrency issues. The service also uses a highly tuned version of the FindBugs static analysis tool, which is integrated into the testing platform in use here, to identify coding standard and style issues.

Since August 2013, the Coverity Scan service has analysed 43,000 lines of ANTLR code and identified 171 defects.

Coverity's Jennifer Johnson says that the ANTLR team has done an excellent job of addressing key defects in their code in the short time that they have been participating in the service.


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