Splint – open source – www.splint.org
CodeSurfer – GrammaTech – www.grammatech.com
PC-lint/FlexeLint – Gimpel Software – www.gimpel.com
Insure++ — ParaSoft – www.parasoft.com
BoundsChecker – Compuware Corporation – www.compuware.com
Purify – Rational Corporation – www.rational.com
mpatrol – open source — www.cbmamiga.demon.co.uk/mpatrol