On 02/09/2010 02:18 PM, Walter Bright wrote:
bearophile wrote:
Walter Bright:
From what I can infer from their various statements, the primary
thing it does is pair functions that must be paired, like
malloc/free, lock/unlock, fopen/fclose, etc.
I have never used their program, and probably I will never buy it,
but I have seen it used two times on the whole source code of
CPython, and it has found a good amount of bugs (that devs have fixed
in some weeks) despite such C sources are sometimes quite good (see
for example:
http://svn.python.org/view/python/trunk/Modules/_collectionsmodule.c?view=markup
) compared to the messy C sources of Perl or Ruby. So it's an useful
tool. Using D2 compiled with DMD is not an option for CPython devs,
they can't even use C99.
I'm not disagreeing with you, I just think that Coverity doesn't have
much use for D code, because what it checks for is already covered by
the language.
I think a large part of the article proves your point: all those checks
belong in the compiler, and not in a third party tool.
Still, there are lots of trivial or nontrivial or fuzzy or advanced
analyses that DMD doesn't perform. A dumb example would be
version(1){
pragma(msg, "1");
}else version(2){
pragma(msg, "2");
}
