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?
10 branches 32 tags
Code

Latest commit

@jvillard @facebook-github-bot
jvillard and facebook-github-bot [deadcode] well-formatted files
44ab9b3 Nov 28, 2022
[deadcode] well-formatted files 
Summary:
Empty files with one line in them are not well formatted, generate truly
empty ones instead.

Reviewed By: fantazio

Differential Revision: D41550748

fbshipit-source-id: ac107ef65123d7f87a5c765abfd76ae19b3a9108
44ab9b3

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
 
 
dependencies
 
 
docker
 
 
examples
 
 
facebook-clang-plugins
 
 
infer
 
 
m4
 
 
opam
 
 
scripts
 
 
sledge
 
 
website
 
 
.buckconfig
 
 
.clang-format
 
 
.gitattributes
 
 
.gitignore
 
 
.inferconfig
 
 
.ocamlformat
 
 
CODE_OF_CONDUCT.md
 
 
CONTRIBUTING.md
 
 
CONTRIBUTORS
 
 
Changelog.md
 
 
FILES.md
 
 
INSTALL.md
 
 
ISSUE_TEMPLATE.md
 
 
LICENSE
 
 
Makefile
 
 
Makefile.autoconf.in
 
 
Makefile.config
 
 
PULL_REQUEST_TEMPLATE.md
 
 
README.md
 
 
autogen.sh
 
 
build-infer.sh
 
 
configure.ac
 
 
install-sh
 
 
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.7k 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 187

+ 176 contributors

Languages