Infer#: межпроцедурный анализ безопасности доступа к памяти для C#.

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

Подробности: http://msft.it/6275pV5tN