Debugging by Thinking: A Multidisciplinary Approach (HP Technologies)

C.2 Static and Dynamic Analysis

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