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