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).
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.
© Copyright 1996,98,2001. Knowledge Software Ltd. All rights reserved;
Last modified 17-Sep-2001