OCaml Java C++ C Objective-C Makefile Other
Latest commit 297195b Dec 2, 2017 @jeremydubreil jeremydubreil committed with facebook-github-bot [infer] move the AccessPath module under the IR subdirectory
Summary: I always get confused by `accessPath.ml` not being next to HIL when trying to open files

Reviewed By: sblackshear

Differential Revision: D6462980

fbshipit-source-id: 8ba9b71
Permalink
Failed to load latest commit information.
.travis [travis] detect errors in docker test Feb 27, 2017
dependencies [opam] use javalib 2.3.4 Oct 16, 2017
docker [infer][PR] Adjust Dockerfile to build 0.13 Nov 10, 2017
examples [infer][PR] Minor fix Oct 27, 2017
facebook-clang-plugins @ ac0bcea [infer][PR] [C/C++] Encode filename into the Procname of global initi… Nov 20, 2017
infer [infer] move the AccessPath module under the IR subdirectory Dec 2, 2017
m4 [make] make sure makefile uses config-time values Mar 14, 2017
scripts [ocamlformat] Use ocamlformat from github Oct 20, 2017
.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 [opam] use javalib 2.3.4 Oct 16, 2017
.gitmodules [infer] Add facebook clang plugins submodule Aug 18, 2015
.inferconfig [config] add option to force deletion of results dir Sep 20, 2017
.ocamlformat [ocamlformat] Upgrade ocamlformat to v0.2 from opam Nov 10, 2017
.travis.yml use ocaml 4.05.0 Sep 11, 2017
CONTRIBUTING.md [ocamlformat] Use ocamlformat from github Oct 20, 2017
CONTRIBUTORS Inferbo Jan 31, 2017
DEFS [infer][checkers] remove the `-a biabduction` option and the related … Nov 21, 2017
FILES.md [trace] infer subcommand for inferTraceBugs Aug 4, 2017
INSTALL.md [doc] update install instructions Oct 18, 2017
LICENSE Add module to fix copyright messages. Jul 16, 2015
Makefile [cleanup] remove harness-related code Nov 17, 2017
Makefile.autoconf.in [build] honour `OPAMROOT` Oct 25, 2017
Makefile.config [log] disable --keep-going in strict mode Sep 13, 2017
PATENTS initial synchronization Jun 9, 2015
README.md Minor change to CONTRIBUTING.md Jul 25, 2017
autogen.sh [build] record last modified date of --help data inside ./configure Apr 25, 2017
build-infer.sh [opam] use javalib 2.3.4 Oct 16, 2017
configure.ac [build] honour `OPAMROOT` Oct 25, 2017
dotbuckversion [buck] newer Buck passes tests in STRICT_MODE Oct 27, 2017
install-sh [utils] Add CTypes binding of fts and implement remove_directory_tree Nov 20, 2016
opam [racerd] Delay issue deduplication to differential reporting Nov 29, 2017
opam.lock [racerd] Delay issue deduplication to differential reporting Nov 29, 2017

README.md

Infer Build Status

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.

Contributing

See CONTRIBUTING.md.

License

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

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