Possible coding problems in the Linux kernel

OSPC (Open Systems Portability Checker) is a tool set designed to detect and flag portability, coding style, latent errors and standards violations in C source code.

The Linux kernel has been run through OSPC, configured to mimic 32 bit architectures (if there is demand a log file giving 32->64 bit architecture problems could also be produced) and support various gcc extensions to ISO 1992:9899 (standard C).

Interpreting the OSPC output
Log file produced from kernel version 2.4.8 (952k in .gz form)
Information on the POSIX standard
Applications POSIX.1 conformance testing
Verifying claims of Open Systems conformance

If you are the maintainer of a package then I am willing to answer the odd query on the messages generated by OSPC.

derek@knosof.co.uk

Suggestions for new constructs to flag, along with a rationale as to why it would be a good idea to flag them, are always welcome from anybody.

Home