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 316 Commits
dependencies/java		dependencies/java
examples		examples
facebook-clang-plugins @ 331accb		facebook-clang-plugins @ 331accb
infer		infer
scripts		scripts
.buckconfig		.buckconfig
.gitignore		.gitignore
.gitmodules		.gitmodules
CONTRIBUTING.md		CONTRIBUTING.md
FILES.md		FILES.md
INSTALL.md		INSTALL.md
LICENSE		LICENSE
< 8000 svg aria-hidden="true" focusable="false" class="octicon octicon-file color-fg-muted" viewBox="0 0 16 16" width="16" height="16" fill="currentColor" display="inline-block" overflow="visible" style="vertical-align:text-bottom"> PATENTS		PATENTS
README.md		README.md
compile-fcp.sh		compile-fcp.sh
infer.install		infer.install
opam		opam

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Repository files navigation

Infer

Installation

License

About

Uh oh!

Releases

Packages

Languages

License

KurSh/infer

Folders and files

Latest commit

History

Repository files navigation

Infer

Installation

License

About

Resources

License

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages