close
The Wayback Machine - https://web.archive.org/web/20221105003017/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

@xi-liu-ds @facebook-github-bot
xi-liu-ds and facebook-github-bot Fix invalid SARIF startLine/startColumn (#1696)
895e003 Nov 4, 2022
Fix invalid SARIF startLine/startColumn (#1696) 
Summary:
Hi Infer team!

This PR introduces a fix when SARIF startLine/startColumn is 0, which causes failure when customer tries to upload/render report in SARIF format.

Pull Request resolved: #1696

Reviewed By: ngorogiannis

Differential Revision: D40987433

Pulled By: jvillard

fbshipit-source-id: 5517f71478d9cdc0cb7217169ddbd7ac49bd4a99
895e003

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
[java] use Temurin Java SDK 8 on GitHub Actions (#1680)
Oct 7, 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
[clang] make copying of __config_site less error-prone
Oct 27, 2022
infer
Fix invalid SARIF startLine/startColumn (#1696)
Nov 4, 2022
m4
[opam] Move the opam files to an opam directory at repo root
Mar 29, 2021
opam
[sledge] Parallelize validity checking
Oct 12, 2022
scripts
[stats] minor readability/debuggability improvements of LongestProcDu…
Oct 19, 2022
sledge
[sledge] Disable constant-prop when max disjuncts = 0
Oct 15, 2022
website
fix many obvious typos in descriptions (#1694)
Nov 2, 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
[incr] Invalidate potentially-affected file-analysis results
Oct 28, 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
fix several typos about redundant words (#1691)
Oct 13, 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
Add continuous-build make target "make watch"
Oct 25, 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

Security policy

Security policy

Stars

13.6k stars

Watchers

608 watching

Forks

1.9k forks

Releases 29

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

Packages

No packages published

Contributors 185

+ 174 contributors

Languages