mi ricordo un certo Insure++ di Parasoft, che dovrebbe essere scaricabile da parasoft.com.