Analisadores de condição de corrida para .NET

Question

Vi que existem algumas ferramentas de análise de condições de corrida para C++, C e Java.Alguém conhece alguma ferramenta de análise estática que faça o mesmo para .NET?

Answer 1

Nunca usei essa ferramenta, mas parece que o TypeMock tem uma ferramenta chamada Racer que pode lidar com isso.Roy Osherove blogou sobre isso aqui.Outro post com uma visualização melhor é aqui.