In Java is this nice tool called FindBugs. Is there something similar in .Net?
FxCop and StyleCop will advise on usage.
For actual bugs, perhaps PEX? There was a PDC video, too.