Infer

Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.

Installation

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.

Name		Name	Last commit message	Last commit date
Latest commit History 1,009 Commits
dependencies/java		dependencies/java
docker		docker
examples		examples
facebook-clang-plugins @ cadf02f		facebook-clang-plugins @ cadf02f
infer		infer
m4		m4
.buckconfig		.buckconfig
.gitignore		.gitignore
.gitmodules		.gitmodules
.inferconfig		.inferconfig
CONTRIBUTING.md		CONTRIBUTING.md
FILES.md		FILES.md
INSTALL.md		INSTALL.md
LICENSE		LICENSE
Makefile.config.in		Makefile.config.in
Makefile.in		Makefile.in
PATENTS		PATENTS
README.md		README.md
autogen.sh		autogen.sh
build-infer.sh		build-infer.sh
configure.ac		configure.ac
infer.install		infer.install
install-sh		install-sh
opam		opam