Infer

Infer is a static analysis tool used to detect bugs in Java and C/C++/Objective-C code before it ships. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance.

Open-sourced in 2015, Infer is used at several large tech companies including Amazon, Mozilla and Spotify.

Areas
Systems & Infrastructure
Share
Infer WebsiteInfer on GitHubFinding inter-procedural bugs at scale with Infer static analyzerAL: A new declarative language for detecting bugs with InferOpen-sourcing Facebook Infer: Identify bugs before you ship