¿Qué herramientas de análisis estático están disponibles para C#? [cerrado]

¿Qué herramientas hay disponibles para el análisis estático contra código C#? Sé sobre FxCop y StyleCop. ¿Hay otros? Me he encontrado con NStatic antes, pero ha estado en desarrollo durante lo que parece una eternidad: se ve bastante resbaladizo por lo poco que he visto de él, por lo que sería bueno si alguna vez viera la luz del día.

En esta misma línea (esto es principalmente mi interés para el análisis estático), herramientas para probar el código para problemas de subprocesos múltiples (deadlocks, race condiciones, etc.) también parecen un poco escasos. Typemock Racer acaba de aparecer así que voy a estar mirando eso. ¿Algo más allá de esto?

Las opiniones de la vida real sobre las herramientas que ha utilizado son apreciadas.