From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-io0-f169.google.com ([209.85.223.169]:33762 "EHLO mail-io0-f169.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1755534AbbLQKEU (ORCPT ); Thu, 17 Dec 2015 05:04:20 -0500 MIME-Version: 1.0 In-Reply-To: <4E5779AD88B2F040B8A7E83ECF544D1A64A4CF@SJCPEX01CL03.citrite.net> References: <4E5779AD88B2F040B8A7E83ECF544D1A64A4CF@SJCPEX01CL03.citrite.net> Date: Thu, 17 Dec 2015 15:34:19 +0530 Message-ID: Subject: Re: Does the Community use Coverity ? From: pavi1729 To: Jeff Haran Cc: "kernelnewbies@kernelnewbies.org" , "linux-fsdevel@vger.kernel.org" , "linux-mmc@vger.kernel.org" , netdev@vger.kernel.org Content-Type: text/plain; charset=UTF-8 Sender: linux-fsdevel-owner@vger.kernel.org List-ID: Sanket, Jeff, Thanks a ton, that was helpful. Cheers, Pavi On Wed, Dec 16, 2015 at 12:32 AM, Jeff Haran wrote: >>-----Original Message----- >>From: kernelnewbies-bounces+jharan=bytemobile.com@kernelnewbies.org >>[mailto:kernelnewbies- >>bounces+jharan=bytemobile.com@kernelnewbies.org] On Behalf Of >>pavi1729 >>Sent: Monday, December 14, 2015 11:03 PM >>To: kernelnewbies@kernelnewbies.org; linux-fsdevel@vger.kernel.org; linux- >>mmc@vger.kernel.org; linux-netdev@vger.kernel.org >>Subject: Does the Community use Coverity ? >> >>Hi, >> May I know if the community uses the Coverity tool and, if yes where can I >>find a repo of Coverity scans of kernels and IGNORE LIST; cause there >>obviously would be false positives. >> >>Cheers, >>Pavi > > https://scan.coverity.com/ > > Sign up for an account and join the Linux project. > > Jeff Haran >