Skip to content

/ infer

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

fbinfer.com/
MIT License
11.2k stars 1.5k forks
Star
Watch
master
9 branches 30 tags
Go to file
Code

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Latest commit

@skcho @facebook-github-bot
skcho and facebook-github-bot [cost] Fix cost-issues.exp in autoreleasepool
4d3c22e Sep 9, 2020
[cost] Fix cost-issues.exp in autoreleasepool 
Summary:
* Updated cost-issues.exp
* Added objc_autoreleasepool to Makefile

Reviewed By: ezgicicek

Differential Revision: D23599735

fbshipit-source-id: f29425efa
4d3c22e

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
[infer][PR] Update CI to build infer with c analyzers
Jul 10, 2020
dependencies
[nullsafe] Mark @nullsafe with @TypeQualifierDefault&Co for Kotlin in…
Apr 30, 2020
docker
[infer][PR] add patchelf back to master/Dockerfile
Jul 24, 2020
examples
[copyright] Remove years
Jun 13, 2019
facebook-clang-plugins @ bd88639
[infer][PR] When building clang, add support for 'ninja' and for only…
Jul 2, 2020
infer
[cost] Fix cost-issues.exp in autoreleasepool
Sep 9, 2020
m4
[python] it's just a flesh wound
Mar 30, 2020
scripts
add `make install-with-libs` back
Jun 12, 2020
sledge
[sledge] Build: Do not clean help file
Sep 4, 2020
website
[doc] update documentation on building checkers
Sep 9, 2020
.buckconfig
[infer][genrule] Add example of Buck DEFS macro to generate Infer ana…
Dec 10, 2016
.clang-format
fix sync mishaps
Jun 21, 2016
.gitattributes
[website] exclude from repo language stats
Mar 4, 2020
.gitignore
[biabduction][models] move to sqlite
Sep 4, 2020
.gitmodules
[infer] Add facebook clang plugins submodule
Aug 18, 2015
.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
FILES.md
[trace] infer subcommand for inferTraceBugs
Aug 4, 2017
INSTALL.md
[infer][PR] When building clang, add support for 'ninja' and for only…
Jul 2, 2020
ISSUE_TEMPLATE.md
[infer][PR] fix link to FAQ in issue template
May 28, 2020
LICENSE
[copyright] Remove years
Jun 13, 2019
Makefile
[cost] Fix cost-issues.exp in autoreleasepool
Sep 9, 2020
Makefile.autoconf.in
[infer][PR] When building clang, add support for 'ninja' and for only…
Jul 2, 2020
Makefile.config
[biabduction][models] move to sqlite
Sep 4, 2020
PULL_REQUEST_TEMPLATE.md
[github] add issue and PR templates
Feb 7, 2019
README.md
[infer][PR] Update README.md
Mar 31, 2020
autogen.sh
[copyright] Remove years
Jun 13, 2019
build-infer.sh
[build] swap the build defaults to dev-with-errors
Aug 19, 2020
configure.ac
[infer][PR] When building clang, add support for 'ninja' and for only…
Jul 2, 2020
dotbuckversion
[buck] fix version hashes
Oct 10, 2019
install-sh
[utils] Add CTypes binding of fts and implement remove_directory_tree
Nov 20, 2016
opam
[pulse] skeleton for unit testing pulse
Aug 13, 2020
opam.locked
[infer][PR] Update CI to build infer with c analyzers
Jul 10, 2020

README.md

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

static-analysis static-code-analysis code-quality java c cpp objective-c

Resources

Readme

License

MIT License

Releases 30

Infer version 0.17.0 Latest
Aug 6, 2019
+ 29 releases

Packages

No packages published

Contributors 140

+ 129 contributors

Languages

You can’t perform that action at this time.