Quels outils sont disponibles pour l'analyse statique par rapport au code C #? Je connais FxCop et StyleCop. Y en a-t-il d'autres? J'ai déjà rencontré NStatic, mais il est en développement depuis ce qui semble être une éternité - il a l'air assez élégant d'après le peu que j'en ai vu, donc ce serait bien s'il verrait un jour le jour.
Dans le même ordre d'idées (c'est avant tout mon intérêt pour l'analyse statique), les outils de test de code pour les problèmes de multithreading (blocages, conditions de concurrence, etc.) semblent également un peu rares. Typemock Racer vient d'apparaître alors je vais regarder ça. Quelque chose au-delà de ça?
Les opinions réelles sur les outils que vous avez utilisés sont appréciées.