FxCop и StyleCop будет консультировать по вопросам использования.
Для фактических ошибок, возможно PEX? Был видео PDC , также.