Coverity tool

[Walter Bright]

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.