Go to file

Jules Villard 03ccd9d5f3 better instructions for first-time users Summary: public The instructions to install opam from the web on linux were not enough: you need to install opam somewhere on the PATH. Moreover, the wget command could erase "opam" if launched from the infer repo, which already has an "opam" file. ./build-infer.sh's "opam init" command would fail if ocaml was not already installed, instead of installing a default compiler. Finally, check that ocamlfind is installed using the same logic as other ocamlfind packages, to get an error message explaining how to get it using opam if it's not installed, instead of just a failure. Reviewed By: jeremydubreil Differential Revision: D2760678 fb-gh-sync-id: 678178e		9 years ago
dependencies/java	[infer][eradicate] add support for butterknife @Bind annotation	9 years ago
docker	wording changes for docker docs	9 years ago
examples	Fix indentation of multiline copyright comment	9 years ago
facebook-clang-plugins@8133136d73	revert accidental downgrade of the facebook-clang-plugins	9 years ago
infer	logging to stderr/stdout all the time	9 years ago
m4	better instructions for first-time users	9 years ago
scripts	check if the C compiler is recent enough	9 years ago
.buckconfig	initial synchronization	10 years ago
.gitignore	migrate infer/src/Makefile	9 years ago
.gitmodules	[infer] Add facebook clang plugins submodule	9 years ago
.inferconfig	Revert "Revert "Revert "[sync] syncing files to github"""	9 years ago
CONTRIBUTING.md	Documentation	9 years ago
FILES.md	move python code to infer package	9 years ago
INSTALL.md	better instructions for first-time users	9 years ago
LICENSE	Add module to fix copyright messages.	9 years ago
Makefile.config.in	compile plugin from toplevel Makefile	9 years ago
Makefile.in	add --disable-c-analyzers option	9 years ago
PATENTS	initial synchronization	10 years ago
README.md	[Readme] Fix link.	10 years ago
autogen.sh	use `printf` instead of `echo -n`	9 years ago
build-infer.sh	better instructions for first-time users	9 years ago
configure.ac	better instructions for first-time users	9 years ago
infer.install	move python code to infer package	9 years ago
install-sh	migrate infer/models/Makefile	9 years ago
opam	bump dependencies	9 years ago

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.