Серия

Анализ кода с помощью вывода#

Панель элементов Visual Studio

Хотите обнаружить ошибки надежности и безопасности перед их отправкой? Мэтью Джин и Сяою Лю показывают Infer#, статический инструмент анализа, который можно использовать для проверки правильности исходного кода без необходимости его выполнения. 

Дополнительные сведения о Infer# см. здесь.