Серия

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

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

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