Re: Does the Community use Coverity ?

2016-01-07 Thread Ricardo Ribalda Delgado
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  wrote:
>> -Original Message-
>> From: pavi1729 [mailto:pavitra1...@gmail.com]
>> Sent: Thursday, December 17, 2015 2:04 AM
>> To: Jeff Haran
>> Cc: kernelnewbies@kernelnewbies.org; linux-fsde...@vger.kernel.org;
>> linux-...@vger.kernel.org; net...@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 
>> wrote:
>> >>-Original Message-
>> >>From: kernelnewbies-
>> bounces+jharan=bytemobile@kernelnewbies.org
>> >>[mailto:kernelnewbies-
>> >>bounces+jharan=bytemobile@kernelnewbies.org] On Behalf Of
>> >>pavi1729
>> >>Sent: Monday, December 14, 2015 11:03 PM
>> >>To: kernelnewbies@kernelnewbies.org; linux-fsde...@vger.kernel.org;
>> >>linux- m...@vger.kernel.org; linux-net...@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
>> >
> ___
> Kernelnewbies mailing list
> Kernelnewbies@kernelnewbies.org
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies



-- 
Ricardo Ribalda

___
Kernelnewbies mailing list
Kernelnewbies@kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies


RE: Does the Community use Coverity ?

2015-12-21 Thread Jeff Haran
> -Original Message-
> From: pavi1729 [mailto:pavitra1...@gmail.com]
> Sent: Thursday, December 17, 2015 2:04 AM
> To: Jeff Haran
> Cc: kernelnewbies@kernelnewbies.org; linux-fsde...@vger.kernel.org;
> linux-...@vger.kernel.org; net...@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 
> wrote:
> >>-Original Message-
> >>From: kernelnewbies-
> bounces+jharan=bytemobile@kernelnewbies.org
> >>[mailto:kernelnewbies-
> >>bounces+jharan=bytemobile@kernelnewbies.org] On Behalf Of
> >>pavi1729
> >>Sent: Monday, December 14, 2015 11:03 PM
> >>To: kernelnewbies@kernelnewbies.org; linux-fsde...@vger.kernel.org;
> >>linux- m...@vger.kernel.org; linux-net...@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
> >
___
Kernelnewbies mailing list
Kernelnewbies@kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies


Re: Does the Community use Coverity ?

2015-12-20 Thread Ruben Safir
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 +, Jeff Haran wrote:
> >-Original Message-
> >From: kernelnewbies-bounces+jharan=bytemobile@kernelnewbies.org
> >[mailto:kernelnewbies-
> >bounces+jharan=bytemobile@kernelnewbies.org] On Behalf Of
> >pavi1729
> >Sent: Monday, December 14, 2015 11:03 PM
> >To: kernelnewbies@kernelnewbies.org; linux-fsde...@vger.kernel.org; linux-
> >m...@vger.kernel.org; linux-net...@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
> 
> 
> ___
> 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


___
Kernelnewbies mailing list
Kernelnewbies@kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies


Re: Does the Community use Coverity ?

2015-12-17 Thread pavi1729
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@kernelnewbies.org
>>[mailto:kernelnewbies-
>>bounces+jharan=bytemobile@kernelnewbies.org] On Behalf Of
>>pavi1729
>>Sent: Monday, December 14, 2015 11:03 PM
>>To: kernelnewbies@kernelnewbies.org; linux-fsde...@vger.kernel.org; linux-
>>m...@vger.kernel.org; linux-net...@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
>

___
Kernelnewbies mailing list
Kernelnewbies@kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies


RE: Does the Community use Coverity ?

2015-12-15 Thread Jeff Haran
>-Original Message-
>From: kernelnewbies-bounces+jharan=bytemobile@kernelnewbies.org
>[mailto:kernelnewbies-
>bounces+jharan=bytemobile@kernelnewbies.org] On Behalf Of
>pavi1729
>Sent: Monday, December 14, 2015 11:03 PM
>To: kernelnewbies@kernelnewbies.org; linux-fsde...@vger.kernel.org; linux-
>m...@vger.kernel.org; linux-net...@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


___
Kernelnewbies mailing list
Kernelnewbies@kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies


Re: Does the Community use Coverity ?

2015-12-15 Thread Saket Sinha
Hi pavi,

Refer https://lwn.net/Articles/608992/

Regards,
Saket Sinha


On Tue, Dec 15, 2015 at 12:32 PM, pavi1729  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

___
Kernelnewbies mailing list
Kernelnewbies@kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies


Does the Community use Coverity ?

2015-12-14 Thread pavi1729
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