Gimpel Software

PC-lint Plus is a comprehensive static analysis solution for C and C++

PC-lint for C/C++

the longest continuously advertised software tool in human history, was first introduced in 1985. It will thoroughly check your C/C++ source code for bugs, glitches, inconsistencies, non-portable constructs, and much more, so you can find and fix your bugs more quickly, and more economically, than with traditional debugging procedures.
PC-lint for C/C++ runs on Microsoft Windows and OS/2.

FlexeLint for C/C++

he reputation and success of PC-lint drew numerous requests from programmers outside the PC community for an equivalent product. This resulted in the introduction of FlexeLint in 1988. FlexeLint is distributed as shrouded C source code, to make the capabilities of PC-lint available wherever there is a C compiler to compile it.
FlexeLint for C/C++ runs on all systems that support a C compiler, including all variants of Unix, VMS, OS-9, etc.