Существуют ли какие-либо инструменты статического анализа кода, которые рассматривают потенциальные пути выполнения, которые могут привести к тупику (C #)

Question

Существует ли какой-либо инструмент или плагин для Visual Studio (2008), который будет проходить через класс C # и искать возможные сценарии, которые могут привести к потенциальным тупикам? Все, что будет искать каждый блок lock (xxx) {}, а затем искать другие методы, которые вызывают метод, ведущий к этому критическому разделу, и формируют список методов, которые могут привести к конфликту.

Answer 1

Как насчет CHESS (http://msdn.microsoft.com/en-us/devlabs/cc950526.aspx) от Microsoft devlabs? Я еще не играл с ним, но, похоже, это может помочь вашей проблеме.

Answer 2

Я использую Coverity на работе для Java, которая довольно неплохо справилась с обнаружением возможных тупиковых ситуаций.Предполагается, что он также поддерживает C #, но не запускает его для какого-либо кода для проверки его эффективности.

Answer 3

Typemock делает продукт под названием Typemock Racer , но он не бесплатный, и я не верю, что он выполняет статический анализ. Я думаю, что он действительно анализирует ваш код, находит условия, которые вызывают тупик, и дает вам тест, который воспроизведет эти условия, чтобы вы могли отладить и исправить его, а также провести тест, чтобы убедиться, что он больше не вернется.