Date: Mon, 22 Oct 2007 21:42:00 +0200
From: Adrian Bunk <bunk@kernel.org>
To: Jiri Kosina <jikos@jikos.cz>
Cc: Jiri Slaby <jirislaby@gmail.com>, linux-kernel@vger.kernel.org
Subject: Re: char/cyclades.c: inconsequent NULL checking
Message-ID: <20071022194200.GO30533@stusta.de>
References: <20071022024734.GI30533@stusta.de> <471CF4AC.6060603@gmail.com> <Pine.LNX.4.64.0710222112070.18815@twin.jikos.cz>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <Pine.LNX.4.64.0710222112070.18815@twin.jikos.cz>
User-Agent: Mutt/1.5.16 (2007-06-11)
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1232
Lines: 37

On Mon, Oct 22, 2007 at 09:12:23PM +0200, Jiri Kosina wrote:
> On Mon, 22 Oct 2007, Jiri Slaby wrote:
> 
> > > The Coverity checker spotted the following inconsequent NULL checking in 
> > Where can one obtain such a checker?
> 
> That's a commercial proprietary thingie.
> 
> http://www.coverity.com/

A bit more of background:

The US Department of Homeland Security pays them some money for scanning 
open source projects, the Linux kernel is one of these projects, and 
kernel developers can therefore get access to the database with the
results from their regular scans of Linus' tree.

I'm not a fan of proprietary software, but I'm simply considering their 
results as bug reports that are worth looking at.

> Jiri Kosina

cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/