Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.
Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.
Infer is BSD-licensed. We also provide an additional patent grant.
Note: Enabling Java support may require you to download and install components licensed under the GPL.