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.9%
  2. Java 9.9%
  3. C++ 4.5%
  4. Standard ML 4.5%
  5. C 3.3%
  6. Objective-C 2.6%
  7. Other 4.3%
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

Latest commit

@jvillard @facebook-github-bot
jvillard and facebook-github-bot [IR] move out modules unrelated to IR 
Summary:
IR/ should contain modules pertaining to the core IR of infer, i.e. how
CFGs are represented (including SIL).

These categories of modules were moved:
- Access paths and HIL are an abstraction on top of SIL used by certain
  analyses. Moving the corresponding modules to IR/ makes this clearer
  as they are not really part of the IR (they are less fundamental than
  SIL).
- Error reporting is also something for other analyses, not part of IR.
  Moved a bunch of modules related to that to absint/.
- Same for ProcnameDispatcher
- biabduction-speficic modules: Objc_models, BiabductionModels
- test-determinator-specific modules: JProcname

Reviewed By: ezgicicek

Differential Revision: D21722368

fbshipit-source-id: b28e9bdac
Latest commit 1d2f00f May 28, 2020

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.github/workflows [infer][PR] Update deploy.yml May 28, 2020
dependencies [nullsafe] Mark @nullsafe with @TypeQualifierDefault&Co for Kotlin in… Apr 30, 2020
docker [infer][PR] Update base for Docker, remove python2 Apr 1, 2020
examples [copyright] Remove years Jun 13, 2019
facebook-clang-plugins @ a9c545f [pulse] Model __bridge_transfer Apr 28, 2020
infer [IR] move out modules unrelated to IR May 28, 2020
m4 [python] it's just a flesh wound Mar 30, 2020
scripts [opam] do not crash when the switch does not exist May 13, 2020
sledge [ocamlformat] Reformat repo with new version May 16, 2020
website [website] navigation between doc versions May 14, 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
.gitattributes [website] exclude from repo language stats Mar 4, 2020
.gitignore [deadcode] create deadcode/dune only when needed May 13, 2020
.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] Update OCaml to 4.09 in Travis May 14, 2020
CODE_OF_CONDUCT.md [infer][PR] Update CODE_OF_CONDUCT.md Aug 2, 2018
CONTRIBUTING.md [biabd] rename test directories from {biabduction,errors,infer} to {b… Apr 29, 2020
CONTRIBUTORS Inferbo Jan 31, 2017
FILES.md [trace] infer subcommand for inferTraceBugs Aug 4, 2017
INSTALL.md [python] migrate 2.7 to 3 Mar 30, 2020
ISSUE_TEMPLATE.md [infer][PR] fix link to FAQ in issue template May 28, 2020
LICENSE [copyright] Remove years Jun 13, 2019
Makefile [ocamlformat] Exclude deadcode/dune.in from list of ocaml dune files May 16, 2020
Makefile.autoconf.in [python] it's just a flesh wound Mar 30, 2020
Makefile.config [website] code to publish current docs May 14, 2020
PULL_REQUEST_TEMPLATE.md [github] add issue and PR templates Feb 7, 2019
README.md [infer][PR] Update README.md Mar 31, 2020
autogen.sh [copyright] Remove years Jun 13, 2019
build-infer.sh [infer][PR] Update OCaml to 4.09 in Travis May 14, 2020
configure.ac [python] migrate 2.7 to 3 Mar 30, 2020
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 [ocaml] upgrade to 4.09.1 May 13, 2020
opam.locked [ocaml] upgrade to 4.09.1 May 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.