Coverity checking periodicity?

Coverity checking periodicity?

[Jiri Slaby]

Hi,

please, doesn't anybody have an idea on how often is Coverity run on the
kernel? Doesn't anybody know about any materials regarding this?

Thanks.

Re: Coverity checking periodicity?

[Jiri Kosina]

On Tue, 17 Nov 2009, Jiri Slaby wrote:

> please, doesn't anybody have an idea on how often is Coverity run on the 
> kernel? Doesn't anybody know about any materials regarding this?

I'd suggest contacting linux@coverity.com.

-- 
Jiri Kosina
SUSE Labs, Novell Inc.

Re: Coverity checking periodicity?

[Jiri Slaby]

On 11/18/2009 11:34 AM, Jiri Kosina wrote:
> On Tue, 17 Nov 2009, Jiri Slaby wrote:
> 
>> please, doesn't anybody have an idea on how often is Coverity run on the 
>> kernel? Doesn't anybody know about any materials regarding this?
> 
> I'd suggest contacting linux@coverity.com.

I tried info@ already (no reply so far). Will try that too. Thanks.

Re: Coverity checking periodicity?

[Jiri Slaby]

On 11/18/2009 11:35 AM, Jiri Slaby wrote:
> On 11/18/2009 11:34 AM, Jiri Kosina wrote:
>> On Tue, 17 Nov 2009, Jiri Slaby wrote:
>>
>>> please, doesn't anybody have an idea on how often is Coverity run on the 
>>> kernel? Doesn't anybody know about any materials regarding this?
>>
>> I'd suggest contacting linux@coverity.com.
> 
> I tried info@ already (no reply so far). Will try that too. Thanks.

JFYI
550 No such user (linux@coverity.com) (state 14).

:(

Re: Coverity checking periodicity?

[Jiri Kosina]

On Wed, 18 Nov 2009, Jiri Slaby wrote:

> >>> please, doesn't anybody have an idea on how often is Coverity run on the 
> >>> kernel? Doesn't anybody know about any materials regarding this?
> >>
> >> I'd suggest contacting linux@coverity.com.
> > 
> > I tried info@ already (no reply so far). Will try that too. Thanks.
> 
> JFYI
> 550 No such user (linux@coverity.com) (state 14).

Hmm, that used to be contact for linux kernel bugs as far as I remember 
... maybe they stopped caring for kernel bugs completely?

-- 
Jiri Kosina
SUSE Labs, Novell Inc.

Re: Coverity checking periodicity?

[Jiri Slaby]

On 11/18/2009 12:52 PM, Jiri Kosina wrote:
>> 550 No such user (linux@coverity.com) (state 14).
> 
> Hmm, that used to be contact for linux kernel bugs as far as I remember 
> ... maybe they stopped caring for kernel bugs completely?

I don't know, but it definitely looks like they play dead.

Linux-2.6 is listed at:
http://scan.coverity.com/rung1.html

I used archive.org right now and the numbers haven't changed for years.
So maybe you're right in the end.

Thanks.

Re: Coverity checking periodicity?

[David Maxwell]

Jiri Slaby wrote, On Tue, 17 Nov 2009 09:34:36 +0100:
> please, doesn't anybody have an idea on how often is Coverity run on the
> kernel? Doesn't anybody know about any materials regarding this?

Hello Jiri,

When the build systems are running smoothly, builds are done daily off
the git head of tree.

The Linux build was hung up at the moment - so Sep 14th 2009 was the most
recent build. I've kicked off a fresh build now and I'll see if there are
any errors with it.

You mentioned the stats on the Scan site not being updated. That's true.
I haven't had time to do maintenance on the relevant scripts in quite a while,
so the site doesn't reflect the ongoing builds and defect count changes. :-(

--
David Maxwell
Coverity Open Source Strategist
http://scan.coverity.com/

Re: Coverity checking periodicity?

[Jiri Slaby]

On 11/18/2009 04:39 PM, David Maxwell wrote:
> You mentioned the stats on the Scan site not being updated. That's true.
> I haven't had time to do maintenance on the relevant scripts in quite a while,
> so the site doesn't reflect the ongoing builds and defect count changes. :-(

David, thank you for the reply. I'm just curious, are the results
publicly available or are they visible only to few chosen people?

thanks,
-- 
js

Re: Coverity checking periodicity?

[David Maxwell]

On Wed, Nov 18, 2009 at 06:19:16PM +0100, Jiri Slaby wrote:
> On 11/18/2009 04:39 PM, David Maxwell wrote:
> > You mentioned the stats on the Scan site not being updated. That's true.
> > I haven't had time to do maintenance on the relevant scripts in quite a while,
> > so the site doesn't reflect the ongoing builds and defect count changes. :-(
> 
> David, thank you for the reply. I'm just curious, are the results
> publicly available or are they visible only to few chosen people?

Hi Jiri,

Each open source project can set their own rules about how small a group
of people can have access to the results. Some projects are very
sensitive about potential security issues and keep it to a few core
folks.

Other projects are less strict. In the Linux case, I forward any
requests off to a handful of Linux people who give me a thumbs-up/down
on the request.

Generally, if I get a request from a maintainer, it has always been
approved.

--
David Maxwell
Coverity Open Source Strategist
http://scan.coverity.com/