The Wayback Machine - https://web.archive.org/web/20190831221146/https://github.com/facebook/infer
Skip to content
Please note that GitHub no longer supports your web browser.

We recommend upgrading to the latest Google Chrome or Firefox.

A static analyzer for Java, C, C++, and Objective-C
OCaml Java C++ C Objective-C Makefile Other
Branch: master
Clone or download
Nikos Gorogiannis and facebook-github-bot [deadcode] multilinks
Summary: deadcode

Reviewed By: skcho

Differential Revision: D17133578

fbshipit-source-id: 9cb6edd43
Latest commit 9989609 Aug 31, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
dependencies [copyright] Remove years Jun 13, 2019
docker [copyright] Remove years Jun 13, 2019
examples [copyright] Remove years Jun 13, 2019
facebook-clang-plugins @ 80f1227 [clang][setup] suppress zealous warning Aug 23, 2019
infer [deadcode] multilinks Aug 31, 2019
m4 [copyright] Remove years Jun 13, 2019
scripts Fix release script for infer-annotation JAR Jul 15, 2019
sledge [sledge semantics] Add a rough draft llair semantics Aug 29, 2019
.buckconfig [infer][genrule] Add example of Buck DEFS macro to generate Infer ana… Dec 10, 2016
.clang-format fix sync mishaps Jun 21, 2016
.gitignore Add test for introducing a procedure Aug 30, 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] Move .ocamlformat config file to the project root Apr 2, 2019
.ocamlformat.hash [ocamlformat] upgrade ocamlformat to 0.9 Mar 28, 2019
.travis.yml [infer][PR] replace travis script to enable caching Mar 26, 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 Inferbo Jan 31, 2017
FILES.md [trace] infer subcommand for inferTraceBugs Aug 4, 2017
INSTALL.md [setup] opam 2 Nov 23, 2018
ISSUE_TEMPLATE.md [github] add issue and PR templates Feb 7, 2019
LICENSE [copyright] Remove years Jun 13, 2019
Makefile [litho] Hookup litho tests to main test suite Aug 28, 2019
Makefile.autoconf.in [java] easier to switch between java 8 and java 11 Jul 30, 2019
Makefile.config [models] get rid of include-based C++ models Aug 2, 2019
PULL_REQUEST_TEMPLATE.md [github] add issue and PR templates Feb 7, 2019
README.md Change license to MIT May 31, 2018
autogen.sh [copyright] Remove years Jun 13, 2019
build-infer.sh Use xcrun to find SDK paths on OSX host during configure Jul 2, 2019
configure.ac [java] easier to switch between java 8 and java 11 Jul 30, 2019
dotbuckversion bump .buckversion Jun 22, 2018
install-sh [utils] Add CTypes binding of fts and implement remove_directory_tree Nov 20, 2016
opam bump version: 0.16.0 -> 0.17.0 Jul 24, 2019
opam.locked Compatibility with javalib 3.1 release Jul 17, 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.