[Python-Dev] Coverity Scan (original) (raw)

Antoine Pitrou solipsis at pitrou.net
Fri Jul 26 00:50:13 CEST 2013

On Thu, 25 Jul 2013 18:00:55 -0400 Terry Reedy <tjreedy at udel.edu> wrote:

On 7/25/2013 2:48 PM, Christian Heimes wrote: > Hello, > > this is an update on my work and the current status of Coverity Scan.

Great work. > > Maybe you have noticed a checkins made be me that end with the line "CID > #". These are checkins that fix an issue that was discovered by the > static code analyzer Coverity. Coverity is a commercial product but it's > a free service for some Open Source projects. Python has been analyzed > by Coverity since about 2007. Guido, Neal, Brett, Stefan and some other > developers have used Coverity before I took over. I fixed a couple of > issues before 3.3 reached the RC phase and more bugs in the last couple > of months. The benefit for us is not just improving Python having external verification of its excellence in relation both to other open-source projects and commercial software.

"Excellence"? The term is too weak, I would say "perfection" at least, but perhaps we should go as far as "divinity".

Regards

Antoine.

More information about the Python-Dev mailing list