Я видел, что есть несколько инструментов анализа состояния гонки для C ++, C и Java. Кто-нибудь знает какие-либо инструменты статического анализа, которые делают то же самое для .NET?
Я никогда не использовал этот инструмент, но похоже, что в TypeMock есть инструмент под названием Racer, который может справиться с этим. Рой Ошеров написал об этом в блоге здесь . Еще один пост с лучшим предварительным просмотром - здесь .