CodeSurfer - GrammaTech
PC-lint/FlexeLint - Gimpel Software
Insure++ -- ParaSoft
BoundsChecker - Compuware Corporation
Purify - Rational Corporation
mpatrol - open source
