Subject: Re: Coverity Open Source Defect Scan of Linux
From: Mauro Carvalho Chehab <mchehab@infradead.org>
To: ben@coverity.com
Cc: linux-kernel@vger.kernel.org
In-Reply-To: <440BCA0F.50501@coverity.com>
References: <440BCA0F.50501@coverity.com>
Content-Type: text/plain; charset=ISO-8859-1
Date: Tue, 14 Mar 2006 09:37:24 -0300
Message-Id: <1142339844.4667.11.camel@praia>
Mime-Version: 1.0
Content-Transfer-Encoding: 8bit
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1037
Lines: 27

Ben,

I'm the maintainer of V4L/DVB subsystem of the Linux Kernel
(http://linuxtv.org). I think your took may be usefull to our work.
Would you please give me an access to the tool?

Em Dom, 2006-03-05 ?s 21:35 -0800, Ben Chelf escreveu:
> Hello Linux Developers,
> 
>    I'm the CTO of Coverity, Inc., a company that does static source code 
> analysis to look for defects in code. You may have heard of us or of our 
> technology from its days at Stanford (the "Stanford Checker"). The 
> reason I'm writing is because we have set up a framework internally to 
> continually scan open source projects and provide the results of our 
> analysis back to the developers of those projects. Linux is one of the 
> 32 projects currently scanned at:
> 
> http://scan.coverity.com

Cheers, 
Mauro.

-
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/