A static analyzer for Java, C and Objective-C
Clone or download
Pull request Compare This branch is 1975 commits behind facebook:master.
sblackshear and facebook-github-bot [quandary] popen as sink
Summary: We don't want to miss shell execs via popen.

Reviewed By: the-st0rm

Differential Revision: D5642788

fbshipit-source-id: 8b20dc1
Latest commit 2876f50 Aug 16, 2017
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.travis [travis] detect errors in docker test Feb 27, 2017
dependencies Convert Reason to OCaml, and auto-format OCaml Jul 11, 2017
docker Require ocaml 4.04.2 Jun 28, 2017
examples [make] fix javac capture Jul 13, 2017
facebook-clang-plugins @ 63db8d4 [C++] update fcp to deal with template specializations Aug 9, 2017
infer [quandary] popen as sink Aug 16, 2017
m4 [make] make sure makefile uses config-time values Mar 14, 2017
scripts [make] s/ocamlbuild/jbuilder/g Aug 10, 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 [make] s/ocamlbuild/jbuilder/g Aug 10, 2017
.gitmodules [infer] Add facebook clang plugins submodule Aug 18, 2015
.inferconfig [siof] add --siof-safe-methods whitelisting option Feb 20, 2017
.ocamlformat Prepare to format OCaml and convert Reason code Jul 11, 2017
.travis.yml Require ocaml 4.04.2 Jun 28, 2017
CONTRIBUTING.md Minor change to CONTRIBUTING.md Jul 25, 2017
CONTRIBUTORS Inferbo Jan 31, 2017
DEFS [infer][cleanup] remove some left-over use of the Eradicate analyzer … Aug 3, 2017
FILES.md [trace] infer subcommand for inferTraceBugs Aug 4, 2017
INSTALL.md [readme] Remove outdated brew cask instruction Jul 11, 2017
LICENSE Add module to fix copyright messages. Jul 16, 2015
Makefile [linters] Support reference types in the linters type parser Aug 16, 2017
Makefile.autoconf.in [make] s/ocamlbuild/jbuilder/g Aug 10, 2017
Makefile.config [make] s/ocamlbuild/jbuilder/g Aug 10, 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 [build] do not create non-default new opam switches as aliases Aug 16, 2017
configure.ac [make] s/ocamlbuild/jbuilder/g Aug 10, 2017
dotbuckversion [buck] check in buckversion files Jul 27, 2017
install-sh [utils] Add CTypes binding of fts and implement remove_directory_tree Nov 20, 2016
opam [make] s/ocamlbuild/jbuilder/g Aug 10, 2017
opam.lock [opam] update opam.lock Aug 10, 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.