Infer#: межпроцедурный анализ безопасности доступа к памяти для C#.
Мы рады объявить о публичном выпуске Infer#, который предоставляет сообществу .NET возможности межпроцедурного статического анализа Infer. Кроме того, в рамках нашей приверженности открытому исходному коду проект был выпущен на GitHub под лицензией MIT.
Подробности:
http://msft.it/6275pV5tN