PC-lint and FlexeLint
PC-lint and FlexeLint will check your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looks across multiple modules, and so, enjoys a perspective your compiler does not have.

Platforms:

• PC-lint for C/C++:
  Windows XP / NT / 2000 / 98 / 95 / ME
  DOS (built-in DOS extender)
• FlexeLint for C/C++:
  Unix and Unix-like platforms (AIX, HP-UX, Sun OS, Solaris, Linux, Tru64 Unix, MAC, etc.)
  VAX VMS
  IBM's VM, MVS
  OS-9
  virtually any platform supporting C

Compatibility:

• supports K&R C, ANSI C, ANSI/ISO C++
• explicit support for Microsoft, GNU and most other major compilers and libraries
• support for most major embedded-system compilers including bit addressing.
• numerous options to support rogue compilers
• scalars sizes can be specified for cross-compiling

Message Suppression:

• by number
• by number and symbol (including wild cards)
• one-line suppression
• by macro
• for library headers, by number (a header is library depending on how it is included; this can be overridden via user options)
• for specified functions, by number
• for expressions

Flexibility:

• indirect files (nested to any depth) can contain filenames, options, environment variables
• format of lint error messages can be customized to support integration with a wide variety of editors and IDEs
• all options can be embedded in user code