Re: Does the Community use Coverity ?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



In 2006, the Coverity Scan service was initiated with the U.S. Department of Homeland Security 


leaves a warm and fuzzy feeling



On Tue, Dec 15, 2015 at 07:02:42PM +0000, Jeff Haran wrote:
> >-----Original Message-----
> >From: kernelnewbies-bounces+jharan=bytemobile.com@xxxxxxxxxxxxxxxxx
> >[mailto:kernelnewbies-
> >bounces+jharan=bytemobile.com@xxxxxxxxxxxxxxxxx] On Behalf Of
> >pavi1729
> >Sent: Monday, December 14, 2015 11:03 PM
> >To: kernelnewbies@xxxxxxxxxxxxxxxxx; linux-fsdevel@xxxxxxxxxxxxxxx; linux-
> >mmc@xxxxxxxxxxxxxxx; linux-netdev@xxxxxxxxxxxxxxx
> >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
> 
> 
> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies@xxxxxxxxxxxxxxxxx
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

-- 
So many immigrant groups have swept through our town
that Brooklyn, like Atlantis, reaches mythological
proportions in the mind of the world - RI Safir 1998
http://www.mrbrklyn.com 

DRM is THEFT - We are the STAKEHOLDERS - RI Safir 2002
http://www.nylxs.com - Leadership Development in Free Software
http://www2.mrbrklyn.com/resources - Unpublished Archive 
http://www.coinhangout.com - coins!
http://www.brooklyn-living.com 

Being so tracked is for FARM ANIMALS and and extermination camps, 
but incompatible with living as a free human being. -RI Safir 2013

--
To unsubscribe from this list: send the line "unsubscribe linux-mmc" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux USB Devel]     [Linux Media]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux