Infer

Facebook Infer е инструмент за статичен анализ - ако дадете на Infer някакъв код Objective-C, Java или C, той създава списък на потенциални грешки.

Алтернативи на Infer за MinGW с търговски лиценз

PVS-Studio е статичен анализатор, който открива грешки в изходния код на C, C ++ и C # приложения.