Insure ++ from ParaSoft Corporation

Insure++ is an automatic runtime error detection tool for C and C++ programming. Insure++ detects errors, which may not be found by your conventional compiler/debugger. Insure++ pinpoints bugs quickly, then provides all the information necessary to repair the bug.

It has three parts:

How to use it (on d0chb):