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

@jeremydubreil @facebook-github-bot
jeremydubreil and facebook-github-bot [taint] add a Java example of taint propagation with lambdas (#1742)
7ae68b5 Mar 16, 2023
[taint] add a Java example of taint propagation with lambdas (#1742) 
Summary:
I have seen this pattern using lambdas leading to false negatives on real code. Pulse should report a taint error where `invokeFunction(function)` is called. I think there are different ways this could be addressed. Adding the false negative example for now.

Pull Request resolved: #1742

Reviewed By: geralt-encore

Differential Revision: D44129516

Pulled By: skcho

fbshipit-source-id: 221ad0df42d1f75cc827c19a7f9a58509eefdfc6
7ae68b5

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
[website] deploy when deploy.yml changes
March 6, 2023 06:03
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] add template specs to globals
February 24, 2023 05:55
infer
[taint] add a Java example of taint propagation with lambdas (#1742)
March 16, 2023 04:06
m4
[opam] Move the opam files to an opam directory at repo root
March 29, 2021 14:05
opam
[opam] update ocamlformat dependencies
March 3, 2023 05:19
scripts
[stats] minor readability/debuggability improvements of LongestProcDu…
October 19, 2022 05:29
sledge
Replace warning identifier numbers by their mnemonics
November 28, 2022 02:25
website
[yarn] Upgrade webpack to 5.76
March 15, 2023 06:36
.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] update home dir
November 23, 2022 23:39
.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
[al] remove more
March 6, 2023 03:20
Makefile.autoconf.in
[config] check if diff can run certain tests
January 25, 2023 02:59
Makefile.config
[make] no pretty colours for dumb terminals
February 23, 2023 07:46
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
[infer] Upgrade yojson version to 2.0.2
August 18, 2022 03:27
configure.ac
[config] check if diff can run certain tests
January 25, 2023 02:59
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

13.9k stars

Watchers

605 watching

Forks

1.9k forks

Releases 29

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

Packages

No packages published

Contributors 188

+ 177 contributors

Languages