Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.
Check out the documentation at http://fbinfer.com/.
See FILES.md for a quick overview of the files in infer/bin.
Read the INSTALL.md file for details on installing Infer.
Infer is BSD-licensed. We also provide an additional patent grant.