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.

Name		Name	Last commit message	Last commit date
Latest commit History 137 Commits
dependencies		dependencies
docker		docker
examples		examples
infer		infer
scripts		scripts
.buckconfig		.buckconfig
.gitignore		.gitignore
CONTRIBUTING.md		CONTRIBUTING.md
FILES.md		FILES.md
INSTALL.md		INSTALL.md
LICENSE		LICENSE
PATENTS		PATENTS
README.md		README.md
compile-fcp.sh		compile-fcp.sh
infer.install		infer.install
opam		opam
update-fcp.sh		update-fcp.sh

License

DoctorQ/infer

Folders and files

Latest commit

History

Repository files navigation

Infer

Installation

License

About

Resources

License

Stars

Watchers

Forks

Languages