The Wayback Machine - https://web.archive.org/web/20230616012023/https://github.com/facebook/infer
Skip to content

facebook/infer

main
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
9 branches 32 tags
Code

Latest commit

@bennostein @facebook-github-bot
bennostein and facebook-github-bot [website] Update recommended CI flow w/ --incremental-analysis
86e1b2c Jun 16, 2023
[website] Update recommended CI flow w/ --incremental-analysis 
Summary: ^

Reviewed By: jvillard

Differential Revision: D46765495

fbshipit-source-id: 5103690888928e09aa124431aa9381d046edd2fa
86e1b2c

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
[configure] auto-detect python support and print enabled frontends
April 18, 2023 08:43
dependencies
[ocamlformat] Update ocamlformat to version 0.22 + fixes
June 30, 2022 01:12
docker
fixed dockerfile builds (#1734)
February 28, 2023 03:18
examples
[copyright] Remove years
June 13, 2019 00:20
facebook-clang-plugins
[clang][frontend] Upgrade to clang-16
April 5, 2023 06:39
infer
[nfc] simplify IList.split_last_rev
June 15, 2023 09:08
m4
[opam] Move the opam files to an opam directory at repo root
March 29, 2021 14:05
opam
[opam] refresh synopsis
April 18, 2023 02:53
scripts
[script] Enable passing multiple options to opam-switch
May 17, 2023 05:26
sledge
[deps] Update ocamlformat to 0.25.1
March 23, 2023 04:26
website
[website] Update recommended CI flow w/ --incremental-analysis
June 15, 2023 09:11
.buckconfig
[infer][genrule] Add example of Buck DEFS macro to generate Infer ana…
December 9, 2016 16:33
.clang-format
[FCP] merge dotfiles [3/N]
September 10, 2020 02:35
.gitattributes
Fix linguist tool configuration (exclude docs from stats) (#1466)
July 8, 2021 04:37
.gitignore
[kotlin] Rename kotlinc back to kotlinc_wrapper and symlink it instead
May 25, 2023 05:08
.inferconfig
[config] clean up patterns_* option names and documentation
March 1, 2023 09:13
.ocamlformat
[ocamlformat] Move .ocamlformat config file to the project root
April 2, 2019 07:04
CODE_OF_CONDUCT.md
new CODE_OF_CONDUCT
September 8, 2020 09:38
CONTRIBUTING.md
fix several typos about redundant words (#1691)
October 13, 2022 03:58
CONTRIBUTORS
Inferbo
January 31, 2017 15:18
Changelog.md
[al] remove more
March 6, 2023 03:20
FILES.md
[trace] infer subcommand for inferTraceBugs
August 4, 2017 04:48
INSTALL.md
[documentation] update INSTALL.md doc (cask is no longer a brew command)
September 7, 2021 02:56
ISSUE_TEMPLATE.md
[infer][PR] fix link to FAQ in issue template
May 28, 2020 07:14
LICENSE
[copyright] Remove years
June 13, 2019 00:20
Makefile
[taint] Support exclude_from_regex_in when used together with block_p…
June 13, 2023 10:02
Makefile.autoconf.in
[erlang] Run tests even if rebar3 is absent
May 12, 2023 07:38
Makefile.config
[hack] Bundle Hack textual models in infer dist and load them by default
May 15, 2023 03:30
PULL_REQUEST_TEMPLATE.md
[github] add issue and PR templates
February 7, 2019 06:36
README.md
[github] badges for the github actions
September 23, 2021 07:07
autogen.sh
[FCP] script to prepare clang tar [5/N]
September 10, 2020 02:35
build-infer.sh
[python] add configure switch
April 18, 2023 02:53
configure.ac
[erlang] Run tests even if rebar3 is absent
May 12, 2023 07:38
install-sh
[opam] upgrade dependencies
November 4, 2021 06:24
Infer Installation Contributing License

README.md

logo

Infer build website

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.

About

A static analyzer for Java, C, C++, and Objective-C

fbinfer.com/

Topics

c java objective-c cpp static-code-analysis static-analysis code-quality

Resources

Readme

License

MIT license

Code of conduct

Code of conduct

Security policy

Security policy

Stars

14.1k stars

Watchers

605 watching

Forks

2k forks
Report repository

Releases 29

Infer version v1.1.0 Latest
Mar 26, 2021
+ 28 releases

Packages

No packages published

Contributors 190

+ 179 contributors

Languages