Aprobe: http://www.aprobe.com/
Insure++: http://www.parasoft.com/products/insure/
Purify: http://www.rational.com/products/purify_unix/