Открыт исходный код статического анализатора Infer
Компания Facebook опубликовала исходные коды статического анализатора Infer, который используется внутри компании для выявления ошибок в исходном коде программ без их непосредственного запуска.
В настоящее время Infer умеет детектировать следующие проблемы в программах, написанных на Objective-C, Java и C:
разыменование NULL-указателей; утечки памяти и ресурсов. Исходный код Infer написан на языке OCaml и распространяется на условиях лицензии BSD.
facebook, ocaml, анализ кода
