Существует ли какой-либо автоматизированный инструмент для проверки кода C # .NET на предмет безопасности потоков?
p.s. Он не должен быть идеальным, но должен проверять очевидные вещи, которые можно проверить во время компиляции.
Единственное, что я видел, это гонщик TypeMock. Это не время компиляции, но это может сделать возможным тестирование некоторых ошибок потоков (таких как взаимоблокировка).