Skip to content
main
Switch branches/tags
9 branches 32 tags
Code

Latest commit

@davidpichardie @facebook-github-bot
davidpichardie and facebook-github-bot [Java][Resources]Adding a model for DeflaterOutputStream.finish()
dde58bf May 24, 2022
[Java][Resources]Adding a model for DeflaterOutputStream.finish() 
Summary:
Adding a Pulse model for this API call. It closes
the resource without closing the underlying stream.

Reviewed By: ezgicicek

Differential Revision: D36596110

fbshipit-source-id: 1c79fed8885f1944f94dffce14192a818ad09159
dde58bf

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
[Java][Resources]Adding a model for DeflaterOutputStream.finish()
May 24, 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] Improve trace printing output, refactor goal-update logic
May 18, 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
[erl-frontend] Translate spec-only functions
Apr 25, 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

600 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