Skip to content
Please note that GitHub no longer supports Internet Explorer.

We recommend upgrading to the latest Microsoft Edge, Google Chrome, or Firefox.

Learn more

/infer

A static analyzer for Java, C, C++, and Objective-C
static-analysis static-code-analysis code-quality java c cpp objective-c
  1. OCaml 71.5%
  2. Java 8.9%
  3. C++ 6.5%
  4. C 3.7%
  5. Objective-C 3.0%
  6. Makefile 2.9%
  7. Other 3.5%
Branch: master
Find File
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

@jberdine @facebook-github-bot
jberdine and facebook-github-bot Add version constraint on core 
Reviewed By: jvillard

Differential Revision: D14572812

fbshipit-source-id: 52dbb8723
Latest commit 0a9c77e Mar 22, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
dependencies
docker
examples
facebook-clang-plugins @ 36266f6 [AL] fix ast_node_cxx_fully_qualified_name w/non-global vars Mar 11, 2019
infer [racerd] androidx models Mar 22, 2019
m4 [setup] opam 2 Nov 23, 2018
scripts [release] less but also more clowny way of shipping dynamic libraries Feb 28, 2019
sledge
.buckconfig
.clang-format
.gitignore [classloads] overhaul test infra & fix treatment of self-class loadin… Jan 21, 2019
.gitmodules [infer] Add facebook clang plugins submodule Aug 18, 2015
.inferconfig [java] Add command-line option to specify external Java packages Mar 2, 2018
.ocamlformat [ocamlformat] upgrade ocamlformat to 0.8 Oct 12, 2018
.ocamlformat.hash
.travis.yml [travis] use ocaml-ci-scripts to build infer Feb 6, 2019
CODE_OF_CONDUCT.md [infer][PR] Update CODE_OF_CONDUCT.md Aug 2, 2018
CONTRIBUTING.md [github] add issue and PR templates Feb 7, 2019
CONTRIBUTORS
DEFS [infer][genrule] add an option to make the genrule integration compat… May 10, 2018
FILES.md
INSTALL.md [setup] opam 2 Nov 23, 2018
ISSUE_TEMPLATE.md [github] add issue and PR templates Feb 7, 2019
LICENSE Change license to MIT May 31, 2018
Makefile [purity] Enable Clang in purity analysis Mar 16, 2019
Makefile.autoconf.in [java] Add support for openjdk11 Mar 15, 2019
Makefile.config
PULL_REQUEST_TEMPLATE.md
README.md
autogen.sh
build-infer.sh
configure.ac [java] Add support for openjdk11 Mar 15, 2019
dotbuckversion bump .buckversion Jun 22, 2018
install-sh
opam
opam.locked [infer][PR] Move to base64.3.0.0 Feb 7, 2019

README.md

Infer Build Status

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.

You can’t perform that action at this time.