Skip to content

/ infer

A static analyzer for Java, C, C++, and Objective-C
static-analysis static-code-analysis code-quality java c cpp objective-c
OCaml Java C++ Standard ML C Objective-C Other
  1. OCaml 70.6%
  2. Java 9.7%
  3. C++ 4.7%
  4. Standard ML 3.5%
  5. C 3.3%
  6. Objective-C 2.7%
  7. Other 5.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.

@ezgicicek @facebook-github-bot
ezgicicek and facebook-github-bot [cost] Pass proc_name around rather than recomputing 
Summary: Rather than recomputing the `proc_name`, let's pass it around.

Reviewed By: skcho

Differential Revision: D19951461

fbshipit-source-id: 90b57dcc7
Latest commit 8e3f9dd Feb 18, 2020
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
dependencies [copyright] Remove years Jun 13, 2019
docker [infer] Update docker build script Jan 13, 2020
examples [copyright] Remove years Jun 13, 2019
facebook-clang-plugins @ 0f3c72a Bump facebook-clang-plugin Feb 7, 2020
infer [cost] Pass proc_name around rather than recomputing Feb 18, 2020
m4 [copyright] Remove years Jun 13, 2019
scripts [scripts] delete check_hash_collisions.py Jan 28, 2020
sledge [sledge] Canonize e / -1 to -1×e Feb 18, 2020
.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 [infer] Add .lsp.buckd/ and .lsp-buck-out/ to gitignore Dec 6, 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
.travis.yml [infer][PR] Fix CI Dec 18, 2019
CODE_OF_CONDUCT.md [infer][PR] Update CODE_OF_CONDUCT.md Aug 2, 2018
CONTRIBUTING.md [infer][PR] Fix the ppx_deriving issue URL Nov 6, 2019
CONTRIBUTORS Inferbo Jan 31, 2017
FILES.md [trace] infer subcommand for inferTraceBugs Aug 4, 2017
INSTALL.md [inferbo] Revert external relational domains (apron, elina) Dec 16, 2019
ISSUE_TEMPLATE.md [github] add issue and PR templates Feb 7, 2019
LICENSE [copyright] Remove years Jun 13, 2019
Makefile @allow-large-files [ocaml] upgrade core to v13 Feb 13, 2020
Makefile.autoconf.in [inferbo] Revert external relational domains (apron, elina) Dec 16, 2019
Makefile.config [buck] kill python code for the dead Java integration Jan 14, 2020
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 [ocaml] 4.08.1 Dec 4, 2019
configure.ac [inferbo] Revert external relational domains (apron, elina) Dec 16, 2019
dotbuckversion [buck] fix version hashes Oct 10, 2019
install-sh [utils] Add CTypes binding of fts and implement remove_directory_tree Nov 20, 2016
opam [infer] Use let* instead of let%bind Feb 17, 2020
opam.locked @allow-large-files [ocaml] upgrade core to v13 Feb 13, 2020

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.