Skip to content
main
Switch branches/tags
9 branches 32 tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
 
 
dependencies
 
 
docker
 
 
examples
 
 
facebook-clang-plugins
 
 
infer
 
 
m4
 
 
opam
 
 
scripts
 
 
sledge
 
 
website
 
 
.buckconfig
 
 
.clang-format
 
 
.gitattributes
 
 
.gitignore
 
 
.inferconfig
 
 
.ocamlformat
 
 
CODE_OF_CONDUCT.md
 
 
CONTRIBUTING.md
 
 
CONTRIBUTORS
 
 
Changelog.md
 
 
FILES.md
 
 
INSTALL.md
 
 
ISSUE_TEMPLATE.md
 
 
LICENSE
 
 
Makefile
 
 
Makefile.autoconf.in
 
 
Makefile.config
 
 
PULL_REQUEST_TEMPLATE.md
 
 
README.md
 
 
autogen.sh
 
 
build-infer.sh
 
 
configure.ac
 
 
install-sh
 
 
Infer Installation Contributing License

README.md

logo

Infer build website

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

Installation

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Contributing

See CONTRIBUTING.md.

License

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.

About

A static analyzer for Java, C, C++, and Objective-C

fbinfer.com/

Topics

c java objective-c cpp static-code-analysis static-analysis code-quality

Resources

Readme

License

MIT License

Code of conduct

Code of conduct

Stars

13.2k stars

Watchers

600 watching

Forks

1.8k forks

Releases 29

Infer version v1.1.0 Latest
Mar 26, 2021
+ 28 releases

Packages

No packages published

Contributors 175

+ 164 contributors

Languages