Database of kernel bugs

Chris Ricker (chris@woodruffn239.residence.gatech.edu)
Sun, 28 Apr 1996 14:55:18 -0400 (EDT)


Hello kernel hackers,

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
http://www.knosof.co.uk/ospclin/ and on
http://www.prism.gatech.edu/~gt1355b/ospc/ (a U.S. mirror that I've set
up, along with instructions for interpreting the output). It will also be
available until the end of the quarter (I'm not stupid enough to want to
stay here at Georgia Tech during the Olympics this summer, so my ftp site
will be down after this quarter until fall '96 ;-) at my ftp site, and the
url for that is 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.). Now's an especially good
time to look through this because of the code freeze.

later,
chris