http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/index.html Some of you might have noticed that on some of the checkins that are made recently the word coverity has been mentioned. Coverity is a bug finding system that is capable of detecting defects and security vulnerabilities in the source... en-us Copyright 2009 Wed, 28 Jan 2009 22:48:53 +0100 Mon, 16 Feb 2009 09:31:30 +0100 http://www.movabletype.org/?v=3.17 http://blogs.law.harvard.edu/tech/rss http://gemal.dk/ http://gemal.dk//pics/favicon.png Are those links really correct? Are those links really correct?

]]> http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment1?from=rss-comment http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment1 Thu, 18 May 2006 12:54:49 +0100 Matthew Wilson matthew@mjwilson.demon.co.uk Matthew - 'coverity' is a keyword so you can easily search in Bugzilla for these bugs. Matthew - 'coverity' is a keyword so you can easily search in Bugzilla for these bugs.

]]> http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment2?from=rss-comment http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment2 Thu, 18 May 2006 14:35:15 +0100 Robin robin@reala.net If you log into the Coverity system there are 528 outstanding problems. Some of the difference is caused by problems marked as fixed, but the fix hasn't yet made it through Bugzilla, CVS and back to Coverity for verification. Last time I looked mozilla/security had the highest number of hits with about 1/3 of them. If you log into the Coverity system there are 528 outstanding problems. Some of the difference is caused by problems marked as fixed, but the fix hasn't yet made it through Bugzilla, CVS and back to Coverity for verification. Last time I looked mozilla/security had the highest number of hits with about 1/3 of them.

]]> http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment3?from=rss-comment http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment3 Thu, 18 May 2006 16:58:24 +0100 Jon Smirl jonsmirl@gmail.com A big congrats to Coverity for finding all these bugs as well as the people fixing them. And while there are some Invalid, Duplicate, and Wontfix, this is a *good thing*. A big congrats to Coverity for finding all these bugs as well as the people fixing them. And while there are some Invalid, Duplicate, and Wontfix, this is a *good thing*.

]]> http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment4?from=rss-comment http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment4 Sat, 20 May 2006 07:38:22 +0100 alanjstr umo-alanjstrMail@sneakemail.com Most (all?) of the Coverity bugs fixed didn't make it into the 1.8.0.4 branch due to release timing. When will they be seen in a released code base? 1.8.1? 1.8.0.5? Most (all?) of the Coverity bugs fixed didn't make it into the 1.8.0.4 branch due to release timing. When will they be seen in a released code base? 1.8.1? 1.8.0.5?

]]> http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment5?from=rss-comment http://gemal.dk/blog/2006/05/18/mozilla_and_coverity/#comment5 Mon, 05 Jun 2006 19:28:59 +0100 Steve nobody@spamcop.net