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.

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

Name	Name	Last commit message	Last commit date
Latest commit jeremydubreil Jun 13, 2015 6803fb6 · Jun 13, 2015 History 29 Commits
dependencies	dependencies	initial synchronization	Jun 9, 2015
examples	examples	initial synchronization	Jun 9, 2015
infer	infer	[infer][Java] temporarily catching the Invalid_argument exception rai…	Jun 12, 2015
scripts	scripts	Fix tests script to add multiple targets	Jun 11, 2015
.buckconfig	.buckconfig	initial synchronization	Jun 9, 2015
.gitignore	.gitignore	add tarballs to .gitignore	Jun 10, 2015
CONTRIBUTING.md	CONTRIBUTING.md	initial synchronization	Jun 9, 2015
FILES.md	FILES.md	a simple text visualisation of error traces	Jun 11, 2015
INSTALL.md	INSTALL.md	[INSTALL] point to the website for the binary install	Jun 12, 2015
LICENSE	LICENSE	initial synchronization	Jun 9, 2015
PATENTS	PATENTS	initial synchronization	Jun 9, 2015
README.md	README.md	[Readme] Fix link.	Jun 10, 2015
compile-fcp.sh	compile-fcp.sh	initial synchronization	Jun 9, 2015
update-fcp.sh	update-fcp.sh	initial synchronization	Jun 9, 2015