Skip to content

/infer

A static analyzer for Java, C and Objective-C
  1. OCaml 64.3%
  2. Java 21.1%
  3. C 4.2%
  4. Python 3.5%
  5. Objective-C 2.7%
  6. C++ 2.1%
  7. Other 2.1%
OCaml Java C Python Objective-C C++ Other
Find file
Download ZIP
Latest commit 319cc93 @jeremydubreil jeremydubreil committed with Facebook Github Bot 4 Create the procedure description of the callee when running the captu… 
…re only, because Gradle uses this

Summary:public
The "fake" procedure description of the callees, containing info about the formal parameters, is current used by Eradicate. This diff forces the creation of the callee procedure descriptions when running Infer with Buck.

Reviewed By: sblackshear

Differential Revision: D3083452

fb-gh-sync-id: 24a70e6
shipit-source-id: 24a70e6
Failed to load latest commit information.
dependencies/java [infer][eradicate] add support for butterknife @Bind annotation
docker add newly missing dependencies
examples move build integration tests to infer/tests/
facebook-clang-plugins @ cadf02f Translate CXXDefaultInitExpr
infer Create the procedure description of the callee when running the captu…
m4 Remove unused support for ocaml < 4.02
.buckconfig initial synchronization
.gitignore add oUnit file to .gitignore
.gitmodules [infer] Add facebook clang plugins submodule
.inferconfig Revert "Revert "Revert "[sync] syncing files to github"""
CONTRIBUTING.md kill test.sh
FILES.md Remove deprecated script BuckAnalyze
INSTALL.md update install instructions
LICENSE Add module to fix copyright messages.
Makefile.config.in adding runner for OCaml unit tests
Makefile.in make test_build depend on clang_plugin
PATENTS initial synchronization
README.md update install instructions
autogen.sh fail build scripts if `git submodule update` fails
build-infer.sh build-infer.sh now works with non-traditional shells
configure.ac bump version number
infer.install Remove deprecated script BuckAnalyze
install-sh migrate infer/models/Makefile
opam make ounit dep work on case-sensitive filesystems

README.md

Infer

Infer is a static analysis tool for Java, Objective-C and C, 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.

License

Infer is BSD-licensed. We also provide an additional patent grant.

Something went wrong with that request. Please try again.