PC-Lint

PC-Lint is a software package that finds bugs, glitches, inconsistencies, non-portable constructs, and other sources of problems in your C programs using the K&R and ANSI standards for C. The purpose of linting your programs is to determine potential problems prior to integration or porting, or to reveal unusual constructs that may be a source of subtle errors.

PC-Lint often finds problems that the compiler alone cannot. It is much fussier about details than the compiler.

A C compiler cannot always detect each and every potential problem in your source files. This is where PC-Lint comes in. PC-Lint can be configured to complain a lot or a little.

Each of the Keil C Compilers, ARM, C51, C251, and C166, support Gimpel Software's PC-Lint. The µVision Integrated Development Environment provides direct support for PC-Lint.