Facebook открыл доступ к исходному коду статического анализатора Infer

Facebook открыл исходный код статического анализатора программ Infer для всех желающих. В компании этот инструмент используется для выявления ошибок и недочётов в коде приложений, разрабатываемых для платформ iOS и Android, до их запуска.

По словам представителей Facebook, ежемесячно Infer помогает находить сотни потенциальных ошибок путём сканирования кода. Среди них – разыменование указателей NULL, утечка ресурсов, проблемы при работе с памятью и другие ошибки, которые могут привести к сбоям в работе приложения.

Текущая версия Infer может работать с кодом, написанным на C, Objective-C и Java.

Инструмент доступен по ссылке.