Skip to content

/ infer

A static analyzer for Java, C, C++, and Objective-C

fbinfer.com/
MIT License
12.1k stars 1.6k forks
Star
Notifications
master
Switch branches/tags
9 branches 32 tags
Go to file
Code
Clone

Use Git or checkout with SVN using the web URL.

Latest commit

@ezgicicek @facebook-github-bot
ezgicicek and facebook-github-bot [immutability] Add support for modifications to Litho's Immutable Maps
bf0fa55 Mar 19, 2021
[immutability] Add support for modifications to Litho's Immutable Maps 
Reviewed By: skcho

Differential Revision: D27008496

fbshipit-source-id: b4f4198b6
bf0fa55

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
Fix link on release page. (#1323)
Oct 15, 2020
dependencies
[nullsafe] Mark @nullsafe with @TypeQualifierDefault&Co for Kotlin in…
Apr 30, 2020
docker
Use `--depth` flag to `git clone` in Dockerfiles, to save space (#1341)
Nov 13, 2020
examples
[copyright] Remove years
Jun 13, 2019
facebook-clang-plugins
Patch missing 'limits' in facebook-clang-plugins #1407 (#1409)
Mar 16, 2021
infer
[immutability] Add support for modifications to Litho's Immutable Maps
Mar 19, 2021
m4
[python] it's just a flesh wound
Mar 30, 2020
scripts
[github] publish new releases automatically
Oct 9, 2020
sledge
[sledge] Add script to link bitcode using gllvm
Mar 9, 2021
website
[website] update NULL_DEREFERENCE documentation
Mar 19, 2021
.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
[website] exclude from repo language stats
Mar 4, 2020
.gitignore
[ConfigImpact] Run reportdiff on config impact json results
Mar 4, 2021
.inferconfig
[java] Add command-line option to specify external Java packages
Mar 2, 2018
.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
[build] swap the build defaults to dev-with-errors
Aug 19, 2020
CONTRIBUTORS
Inferbo
Jan 31, 2017
Changelog.md
(overdue) changelog info for 1.0.0
Mar 19, 2021
FILES.md
[trace] infer subcommand for inferTraceBugs
Aug 4, 2017
INSTALL.md
Update INSTALL.md (#1329)
Oct 20, 2020
ISSUE_TEMPLATE.md
[infer][PR] fix link to FAQ in issue template
May 28, 2020
LICENSE
[copyright] Remove years
Jun 13, 2019
Makefile
[immutability] Add support for modifications to Litho's Immutable Maps
Mar 19, 2021
Makefile.autoconf.in
[infer][PR] When building clang, add support for 'ninja' and for only…
Jul 2, 2020
Makefile.config
Fix of building Infer for Objective C (#1345)
Nov 13, 2020
PULL_REQUEST_TEMPLATE.md
[github] add issue and PR templates
Feb 7, 2019
README.md
fix(docs): Update README.md (#1295)
Oct 15, 2020
autogen.sh
[FCP] script to prepare clang tar [5/N]
Sep 10, 2020
build-infer.sh
[infer] add common C2/branch build scripts
Mar 17, 2021
configure.ac
bump version: 1.0.0 -> 1.1.0
Mar 18, 2021
install-sh
[utils] Add CTypes binding of fts and implement remove_directory_tree
Nov 20, 2016
opam
bump version: 1.0.0 -> 1.1.0
Mar 18, 2021
opam.locked
[memtrace] allow memory tracing of analysis workers
Dec 15, 2020

README.md

logo

Infer Build Status

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

Releases 32

Infer version v1.0.0 Latest
Oct 12, 2020
+ 31 releases

Packages

No packages published

Contributors 155

+ 144 contributors

Languages