Исходное сообщение
"Facebook открыл код статического анализатора Infer" Отправлено opennews, 11-Июн-15 19:46
Facebook перевёл (https://code.facebook.com/posts/1648953042007882/open-sourci.../) в разряд открытых проектов статический анализатор Infer (http://fbinfer.com/), который можно использовать для выявления ошибок в приложениях на языках Си, Objective-C и Java. В Facebook система применяется для проверки программ, разрабатываемых для платформ Android и iOS. Infer позволяет на основе анализа кода, без непосредственного запуска программы, выявлять такие проблемы, как разыменование указателя NULL, утечка ресурсов, проблемы при работе с памятью и различные ошибки, которые могут приводить к краху в процессе работы. При анализе кода применяются методы математической логики, на основе которых строится план выполнения программы, в котором система пытается повторить типовые рассуждения разработчика, проводящего ручной аудит кода. В настоящее время Infer достиг неплохой для автоматизированный средств эффективности, выявляя около 80% проблем из общего объёма ошибок, информация о которых поступает разработчикам.  Код  Infer написан на языке Python и распространяется (https://github.com/facebook/infer) под лицензией BSD. URL: https://code.facebook.com/posts/1648953042007882/open-sourci.../ Новость: http://www.opennet.ru/opennews/art.shtml?num=42405