Does the Community use Coverity ?

Ricardo Ribalda Delgado ricardo.ribalda at gmail.com
Thu Jan 7 17:06:56 EST 2016


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 at citrix.com> wrote:
>> -----Original Message-----
>> From: pavi1729 [mailto:pavitra1729 at gmail.com]
>> Sent: Thursday, December 17, 2015 2:04 AM
>> To: Jeff Haran
>> Cc: kernelnewbies at kernelnewbies.org; linux-fsdevel at vger.kernel.org;
>> linux-mmc at vger.kernel.org; netdev at 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 at citrix.com>
>> wrote:
>> >>-----Original Message-----
>> >>From: kernelnewbies-
>> bounces+jharan=bytemobile.com at kernelnewbies.org
>> >>[mailto:kernelnewbies-
>> >>bounces+jharan=bytemobile.com at kernelnewbies.org] On Behalf Of
>> >>pavi1729
>> >>Sent: Monday, December 14, 2015 11:03 PM
>> >>To: kernelnewbies at kernelnewbies.org; linux-fsdevel at vger.kernel.org;
>> >>linux- mmc at vger.kernel.org; linux-netdev at 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 at kernelnewbies.org
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies



-- 
Ricardo Ribalda



More information about the Kernelnewbies mailing list