The command line tool PC-lint checks C / C++ source code for bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more.

• Supports K&R, ANSI C, and ANSI/ISO C++
• Supports MISRA C and MISRA C++
• Value tracking of auto and static variables
• Value tracking across function boundaries
• Optional strong type checking (typedef-based) to detect nominal type differences
• User-defined semantic checking for function arguments and return values