• S (1/1) Nov 29 2007 I'm curious what kind of results Coverity would produce from the D front...
• Craig Black (2/4) Nov 29 2007 What is Coverity?
• BCS (3/10) Nov 29 2007 a c/c++ static analisis tool
• S (3/10) Nov 29 2007 http://scan.coverity.com/
• Robert Fraser (5/6) Nov 29 2007 Well, it doesn't use delete (almost at all), and the #1 problem in
• Dan (4/12) Nov 29 2007 At the moment, I do most of my programming in an extended IDA Pro 5.1. ...

S <S s.com> writes:

I'm curious what kind of results Coverity would produce from the D frontend? 
Anybody else curious?

"Craig Black" <cblack ara.com> writes:

"S" <S s.com> wrote in message news:fin463$1gsb$1 digitalmars.com...
 I'm curious what kind of results Coverity would produce from the D 
 frontend?  Anybody else curious?

What is Coverity? 

BCS <ao pathlink.com> writes:

Reply to Craig,

 "S" <S s.com> wrote in message news:fin463$1gsb$1 digitalmars.com...
 
 I'm curious what kind of results Coverity would produce from the D
 frontend?  Anybody else curious?
 

 What is Coverity?
 

a c/c++ static analisis tool

http://www.coverity.com/

S <S s.com> writes:

Craig Black Wrote:

 "S" <S s.com> wrote in message news:fin463$1gsb$1 digitalmars.com...
 I'm curious what kind of results Coverity would produce from the D 
 frontend?  Anybody else curious?

 
 What is Coverity? 
 
 

http://scan.coverity.com/

It would be cool to submit the D frontend to this.  I believe it's "Open
Source" enough to get free analysis.

Robert Fraser <fraserofthenight gmail.com> writes:

S wrote:
 I'm curious what kind of results Coverity would produce from the D frontend? 
Anybody else curious?


Descent's Java port of it is NPEs. So I'm guessing it'd fail pretty bad.

More importantly, would anyone be interested in a Coverity-style null 
checker (i.e. not just a lint) for D?

Dan <murpsoft hotmail.com> writes:

Robert Fraser Wrote:

 S wrote:
 I'm curious what kind of results Coverity would produce from the D frontend? 
Anybody else curious?

 

 Descent's Java port of it is NPEs. So I'm guessing it'd fail pretty bad.
 
 More importantly, would anyone be interested in a Coverity-style null 
 checker (i.e. not just a lint) for D?

At the moment, I do most of my programming in an extended IDA Pro 5.1.  I do
this because it allows me to do machine-level call graphing with collapsing
features and step-through debugging.  I haven't had to compile more than once
now since I started using it last year - no debugging, just analysis.

While it's still far from perfect, it's better than standard "text+compiler"
authoring a program.

Not to sound arrogant, but my interest in D is sort of legacy to the days when
I thought languages were significant.