Facebook перевёл в разряд открытых проектов статический анализатор Infer, который можно использовать для выявления ошибок в приложениях на языках Си, Objective-C и Java, разрабатываемых для платформ Android и iOS. Система позволяет на основе анализа кода выявлять такие проблемы, как разыменование указателя NULL, утечка ресурсов и проблемы при работе с памятью. Код Infer написан на языке Python и распространяется под лицензией BSD.
Ссылка: http://www.opennet.ru/opennews/art.shtml?num=42405