lkml.org 
[lkml]   [1996]   [Apr]   [29]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Database of kernel bugs
Chris Ricker:

: Derek Jones of Knowledge Software has kindly run the linux-1.3.91 source
: tree through ospc, a product his company makes that checks code for
: conformance to various standards. The output, describing where the kernel
: deviates from the ansi C standard, is available on
: ftp://ricker.gt.ed.net/pub/linux/ospc/lin1391.gz.

: Some of the errors flagged are a little dubious (for example, reserved
: kernel syscalls *should* be allowed in kernel source; remember that this
: is a generic tool, and not specifically designed for validating kernel
: source ;-), but most are fairly unimportant things that need to get fixed
: sometime (misspellings, missing commas, etc.).

No, 99.9% is junk - not things that should be fixed in the kernel,
but things that should be suppressed in the output.

Polishing the kernel source in such a way that it survives stricter testing
than gcc does would be useful indeed. But ospc cannot be used for that
purpose, since it is not available, and so far only has produced garbage.
I have played a little bit with lclint yesterday, it is at least available,
but it is not up to the task either - it gets easily confused by gcc-isms.


\
 
 \ /
  Last update: 2005-03-22 13:37    [W:0.040 / U:0.168 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site