The one I use most is MemProof.

I have also used SleuthQA from the now defunct TurboPower, I believe its now available as a public download.