Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S964804AbWCODlI (ORCPT ); Tue, 14 Mar 2006 22:41:08 -0500 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S964805AbWCODlI (ORCPT ); Tue, 14 Mar 2006 22:41:08 -0500 Received: from viper.oldcity.dca.net ([216.158.38.4]:63124 "HELO viper.oldcity.dca.net") by vger.kernel.org with SMTP id S964804AbWCODlH (ORCPT ); Tue, 14 Mar 2006 22:41:07 -0500 Subject: Re: Coverity Open Source Defect Scan of Linux From: Lee Revell To: ben@coverity.com Cc: linux-kernel@vger.kernel.org, Takashi Iwai , Jaroslav Kysela , alsa-devel In-Reply-To: <440BCA0F.50501@coverity.com> References: <440BCA0F.50501@coverity.com> Content-Type: text/plain Date: Tue, 14 Mar 2006 22:41:01 -0500 Message-Id: <1142394062.24603.72.camel@mindpipe> Mime-Version: 1.0 X-Mailer: Evolution 2.5.92 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 946 Lines: 25 On Sun, 2006-03-05 at 21:35 -0800, Ben Chelf wrote: > 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 It would be nice to run this against the userspace components of ALSA too... http://www.alsa-project.org Lee - 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/