info about the availability of lint on various platforms

PC-lint and FlexeLint from Gimpel Software

LCLint and Splint

PMD

Annotations in Java 5
SAL from Microsoft

Spec# from Microsoft Research
ESC/Java from HP