infer is a static analysis tool for Java, Objective-C and C, written in [OCaml](https://ocaml.org/).
Check out the documentation at .
See [FILES.md](FILES.md) for a quick overview of the files in `infer/bin`.
This page is part of the FWeb package.
Last updated Sat Oct 26 17:00:23 EDT 2019