Facebook Infer - инструмент статического анализа - если вы даете Infer некоторый код Objective-C, Java или C, он создает список возможных ошибок.
Разработчик
Facebook
Сайт приложения

Аналоги и альтернативы Infer

Наиболее популярные альтернативы и аналоги Infer для Linux.