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
Hi pavi, Refer https://lwn.net/Articles/608992/ Regards, Saket Sinha On Tue, Dec 15, 2015 at 12:32 PM, pavi1729 <pavitra1729@gmail.com> wrote:
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
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
-----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
Sanket, Jeff, Thanks a ton, that was helpful. Cheers, Pavi On Wed, Dec 16, 2015 at 12:32 AM, Jeff Haran <Jeff.Haran@citrix.com> 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
Sign up for an account and join the Linux project.
Jeff Haran
-----Original Message----- From: pavi1729 [mailto:pavitra1729@gmail.com] Sent: Thursday, December 17, 2015 2:04 AM To: Jeff Haran Cc: kernelnewbies@kernelnewbies.org; linux-fsdevel@vger.kernel.org; linux-mmc@vger.kernel.org; netdev@vger.kernel.org Subject: Re: Does the Community use Coverity ?
Sanket, Jeff, Thanks a ton, that was helpful.
Cheers, Pavi
Pavi, I suggest that if you get the chance, check out their code browser. Click on one of the bugs in the Linux project and then click the folder icon at the top of the lower left pane to get to the source code. It's ability to cross reference is the best out there. It eliminates all the false positives in cross reference results that you get from more traditional token matching based browsers like cscope, ctags, etc. Jeff Haran
On Wed, Dec 16, 2015 at 12:32 AM, Jeff Haran <Jeff.Haran@citrix.com> 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
Sign up for an account and join the Linux project.
Jeff Haran
I have been tried twice to join the Linux group on scan.coverity, with no result. Any hint? On Mon, Dec 21, 2015 at 7:22 PM, Jeff Haran <Jeff.Haran@citrix.com> wrote:
-----Original Message----- From: pavi1729 [mailto:pavitra1729@gmail.com] Sent: Thursday, December 17, 2015 2:04 AM To: Jeff Haran Cc: kernelnewbies@kernelnewbies.org; linux-fsdevel@vger.kernel.org; linux-mmc@vger.kernel.org; netdev@vger.kernel.org Subject: Re: Does the Community use Coverity ?
Sanket, Jeff, Thanks a ton, that was helpful.
Cheers, Pavi
Pavi,
I suggest that if you get the chance, check out their code browser. Click on one of the bugs in the Linux project and then click the folder icon at the top of the lower left pane to get to the source code. It's ability to cross reference is the best out there. It eliminates all the false positives in cross reference results that you get from more traditional token matching based browsers like cscope, ctags, etc.
Jeff Haran
On Wed, Dec 16, 2015 at 12:32 AM, Jeff Haran <Jeff.Haran@citrix.com> 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
Sign up for an account and join the Linux project.
Jeff Haran
Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
-- Ricardo Ribalda
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@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
Sign up for an account and join the Linux project.
Jeff Haran
_______________________________________________ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org 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
participants (5)
-
Jeff Haran -
pavi1729 -
Ricardo Ribalda Delgado -
Ruben Safir -
Saket Sinha