A static analyzer for Java, C and Objective-C
OCaml Java C Python Objective-C Shell Other
Pull request Compare This branch is 2497 commits behind facebook:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
dependencies
examples
infer
scripts
.buckconfig
.gitignore
CONTRIBUTING.md
FILES.md
INSTALL.md
LICENSE
PATENTS
README.md
compile-fcp.sh
infer.install
opam
update-fcp.sh

README.md

Infer

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.

Installation

Read the INSTALL.md file for details on installing Infer.

License

Infer is BSD-licensed. We also provide an additional patent grant.