Infer führt eine statische Analyse von Quelltexten in Java oder C durch. So identifiziert es etwa Speicherlecks. Facebook setzt es für die Android- und iOS-Versionen seiner Apps einschließlich Messenger und Instagram ein - als Ergänzung zu automatischen Tests.
