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