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
Date: Mon, 22 Oct 2007 21:42:00 +0200 [thread overview]
Message-ID: <20071022194200.GO30533@stusta.de> (raw)
In-Reply-To: <Pine.LNX.4.64.0710222112070.18815@twin.jikos.cz>
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
prev parent reply other threads:[~2007-10-22 19:41 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-10-22 2:47 char/cyclades.c: inconsequent NULL checking Adrian Bunk
2007-10-22 19:06 ` Jiri Slaby
2007-10-22 19:12 ` Jiri Kosina
2007-10-22 19:42 ` Adrian Bunk [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20071022194200.GO30533@stusta.de \
--to=bunk@kernel.org \
--cc=jikos@jikos.cz \
--cc=jirislaby@gmail.com \
--cc=linux-kernel@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox