You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Jules Villard 26108302d2
[infer] report number of files analysed in the absence of *.cfg
10 years ago
dependencies initial synchronization 10 years ago
examples initial synchronization 10 years ago
infer [infer] report number of files analysed in the absence of *.cfg 10 years ago
scripts initial synchronization 10 years ago
.buckconfig initial synchronization 10 years ago
.gitignore initial synchronization 10 years ago
CONTRIBUTING.md initial synchronization 10 years ago
FILES.md [OSS] Remove info about clang_frontend_stats since it's not public. 10 years ago
INSTALL.md [OSS] Adding FILES.md 10 years ago
LICENSE initial synchronization 10 years ago
PATENTS initial synchronization 10 years ago
README.md [Readme] Fix link. 10 years ago
compile-fcp.sh initial synchronization 10 years ago
update-fcp.sh initial synchronization 10 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.