Re: Automatic bug hunting

[Adrian Bunk]

On Thu, Jun 08, 2006 at 12:09:04AM +0200, Jordi wrote:
> 
> Related with the recent times _perceived_  increase in the number of bugs of 
> the Kernel. I have found the following website:
> http://scan.coverity.com/
> 
> They use automatic statis source code test for a number of projects including 
> the Linux kernel.
> 
> I've not registered so I don't know what kind of bugs have been found but it's 
> very unlikely that they have found "I don't have the hardware to fix this" 
> kind of bugs. They surely are clear bugs, similar to those found by the 
> automatic test for locking problems. 

"They surely are clear bugs" is wrong, the proof is the trivial fact 
that not less than 148 kernel issues have already been marked as FALSE 
inside the Coverity tracker.

> I think this is a good source to check before doing a stable release. Unlikely  
> human's bugs report, those report should be clear enought. We may aim for 
> being "coverity free" before each major version (check it before 2.6.17).

If you'd have followed linux-kernel for a while, you'd have seen how 
many patches have already been sent and merged for issues listed there.

You can set any aim you want, but since the vast majority of these 
issues are not regressions from 2.6.16 there's no reason delaying 2.6.17 
for it.

Even more considering that even many of the Coverity issues are often 
harmless issues like e.g. dead code.

> Jordi Polo

cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed

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