The Wayback Machine - https://web.archive.org/web/20220531091240/https://github.com/facebook/infer
Skip to content
main
Switch branches/tags
9 branches 32 tags
Code

Latest commit

@hajduakos @facebook-github-bot
hajduakos and facebook-github-bot [erl-frontend] Add some tests for eager argument evaluation
b4415b4 May 30, 2022
[erl-frontend] Add some tests for eager argument evaluation 
Summary: Add some tests that demonstrate that function arguments are evaluated eagerly (even if they are not used).

Reviewed By: mmarescotti

Differential Revision: D36659060

fbshipit-source-id: 146319517ce0193980364a7ba2094391cdd74422
b4415b4

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
[ocaml] upgrade to ocaml 4.13.1 and dune 3.0.2
Feb 23, 2022
dependencies
[nullsafe] Mark @nullsafe with @TypeQualifierDefault&Co for Kotlin in…
Apr 30, 2020
docker
Readme.md (#1541)
Oct 28, 2021
examples
[copyright] Remove years
Jun 13, 2019
facebook-clang-plugins
[FCP] Export is_copy_assignment to Procname for CPPMethod
May 5, 2022
infer
[erl-frontend] Add some tests for eager argument evaluation
May 30, 2022
m4
[opam] Move the opam files to an opam directory at repo root
Mar 29, 2021
opam
[sledge] Add missing deps declaration, and upper bound on core version
Apr 5, 2022
scripts
[caml] upgrade to 4.12 and most recent versions of dependencies
Jun 4, 2021
sledge
[sledge] Normalize LLVM global-alias calls to call the aliasee
May 30, 2022
website
[website] Upgrade async to 2.6.4 to fix GitHub detected vulnerability
May 4, 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
Perform tests within CI testing (#1559)
Dec 6, 2021
.inferconfig
[infer] Use allow/block list terminology
Jul 12, 2021
.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
[infer] Update infer.opam and infer.opam.locked
Mar 11, 2022
CONTRIBUTORS
Inferbo
Jan 31, 2017
Changelog.md
update changelog
Mar 26, 2021
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
[pulse][taint] Create test directory for new issue types
May 26, 2022
Makefile.autoconf.in
[ocamlformat] Add opam pin odoc-parser 0.9.0
Feb 1, 2022
Makefile.config
[infer] Fix Makefile test failure message
Dec 3, 2021
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
[ocaml] upgrade to ocaml 4.13.1 and dune 3.0.2
Feb 23, 2022
configure.ac
Move infer to clang13
Mar 23, 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.3k stars

Watchers

599 watching

Forks

1.8k forks

Releases 29

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

Packages

No packages published

Contributors 176

+ 165 contributors

Languages