Компания Facebook [ опубликовала ]( https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/ ) исходные коды статического анализатора Infer, который используется внутри компании для выявления ошибок в исходном коде программ без их непосредственного запуска.В настоящее время Infer умеет детектировать следующие проблемы в программах, написанных на Objective-C, Java и C:разыменование NULL-указателей; утечки памяти и ресурсов. [ Исходный код ]( https://github.com/facebook/infer ) Infer написан на языке OCaml и распространяется на условиях лицензии BSD.
Ссылка: http://www.linux.org.ru/news/opensource/11705790