Products called PC-Lint and FlexeLint are available from Gimpel Software.
The Unix System V release 4 lint is ANSI-compatible, and is available separately
(bundled with other C tools) from UNIX Support Labs or from System V resellers.
Another ANSI-compatible lint (which can also perform higher-level formal verification)
is Splint (formerly lclint).
In the absence of lint, many modern compilers do attempt to diagnose almost as many
problems as lint does. (Many netters recommend gcc -Wall -pedantic