Coverity tool

[bearophile]

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.

Bye,
bearophile