RetroSearch Browse

Fri Jul 26 00:50:13 CEST 2013 · https://mail.python.org/pipermail/python-dev/2013-July/127582.html

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.

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2013-July/127582.html below:

[Python-Dev] Coverity Scan