PC-Lint

A C compiler cannot always detect each and every potential problem in your source files.

This is where PC-Lint comes in.

• Supports K&R C, ANSI C, and ANSI/ISO C++ standards
• Explicit support for MISRA C and MISRA C++ (Motor Industry Software Reliability Association) standards
• Value tracking of auto and static variables detects subtle initialization and value misuse problems
• Inter-function Value Tracking - powerful inter-statement value tracking crosses function boundaries
• Optional strong type checking (typedef-based) with a rich option set to detect nominal type differences
• User-defined semantic checking for function arguments and return values