Skip to content

facebook/infer

main
Switch branches/tags
9 branches 32 tags
Code

Latest commit

@facebook-github-bot
Chu-Pan Wong and facebook-github-bot [infer] add a processing step in frontend to replace dynamic dispatch…
fea5b71 Sep 28, 2022
[infer] add a processing step in frontend to replace dynamic dispatch… 
… calls

Summary:
Substitute dynamic dispatch calls based on a user provided
map configured via `--dynamic-dispatch-json-file-path`

Reviewed By: dulmarod

Differential Revision: D39762210

fbshipit-source-id: 4c6d7725c97bb80b21414f863010b53530aec5d2
fea5b71

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
[github] use opam switch from setup-ocaml
Jul 15, 2022
dependencies
[ocamlformat] Update ocamlformat to version 0.22 + fixes
Jun 30, 2022
docker
Readme.md (#1541)
Oct 28, 2021
examples
[copyright] Remove years
Jun 13, 2019
facebook-clang-plugins
[scripts][clang] redownload llvm tarball once on failure
Jul 8, 2022
infer
[infer] add a processing step in frontend to replace dynamic dispatch…
Sep 28, 2022
m4
[opam] Move the opam files to an opam directory at repo root
Mar 29, 2021
opam
[build] upgrade core to v0.15
Sep 12, 2022
scripts
[AL] Remove source files under src/al
Jul 22, 2022
sledge
[sledge] Use map union rather than merge in depth-map join
Sep 27, 2022
website
[website] Update website
Sep 23, 2022
.buckconfig
[infer][genrule] Add example of Buck DEFS macro to generate Infer ana…
Dec 10, 2016
.clang-format
[FCP] merge dotfiles [3/N]
Sep 10, 2020
.gitattributes
Fix linguist tool configuration (exclude docs from stats) (#1466)
Jul 8, 2021
.gitignore
Add jar scanner prototype
Jun 27, 2022
.inferconfig
Add Method Annotation Support (#1669)
Aug 29, 2022
.ocamlformat
[ocamlformat] Move .ocamlformat config file to the project root
Apr 2, 2019
CODE_OF_CONDUCT.md
new CODE_OF_CONDUCT
Sep 8, 2020
CONTRIBUTING.md
[tidy] Update uses of ppx_compare
Jun 21, 2022
CONTRIBUTORS
Inferbo
Jan 31, 2017
Changelog.md
[eradicate] Deprecate Eradicate checker
Jul 20, 2022
FILES.md
[trace] infer subcommand for inferTraceBugs
Aug 4, 2017
INSTALL.md
[documentation] update INSTALL.md doc (cask is no longer a brew command)
Sep 7, 2021
ISSUE_TEMPLATE.md
[infer][PR] fix link to FAQ in issue template
May 28, 2020
LICENSE
[copyright] Remove years
Jun 13, 2019
Makefile
[hack] Add a hack/pulse test
Sep 27, 2022
Makefile.autoconf.in
[build] Replace recursively expanded variables with simply expanded ones
Aug 19, 2022
Makefile.config
[build] Replace recursively expanded variables with simply expanded ones
Aug 19, 2022
PULL_REQUEST_TEMPLATE.md
[github] add issue and PR templates
Feb 7, 2019
README.md
[github] badges for the github actions
Sep 23, 2021
autogen.sh
[FCP] script to prepare clang tar [5/N]
Sep 10, 2020
build-infer.sh
[infer] Upgrade yojson version to 2.0.2
Aug 18, 2022
configure.ac
[hack] Add autoconf setup for Hack
Jul 27, 2022
install-sh
[opam] upgrade dependencies
Nov 4, 2021
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

Stars

13.5k stars

Watchers

609 watching

Forks

1.9k forks

Releases 29

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

Packages

No packages published

Contributors 182

+ 171 contributors

Languages