GitHub - another-green/infer: A static analyzer for Java, C, C++, and Objective-C

8000 GitHub - another-green/infer: A static analyzer for Java, C, C++, and Objective-C

More Web Proxy on the site http://driver.im/

another-green / infer Public
forked from facebook/infer

Notifications You must be signed in to change notification settings

Fork 0

Star 0

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

fbinfer.com/

License

MIT license

0 stars 2k forks Branches Tags Activity

Star

Notifications You must be signed in to change notification settings

Code

Pull requests

Actions

Projects

Security

Insights

Additional navigation options

another-green/infer

Branches Tags

Folders and files
Name Name
Last commit message
Last commit date
Latest commit

History
6,365 Commits
dependencies
dependencies

docker
docker

examples
examples

facebook-clang-plugins @ dc42763
facebook-clang-plugins @ dc42763

infer
infer

m4
m4

scripts
scripts

sledge
sledge

.buckconfig
.buckconfig

.clang-format
.clang-format

.gitignore
.gitignore

.gitmodules
.gitmodules

.inferconfig
.inferconfig

.ocamlformat
.ocamlformat

.ocamlformat.hash
.ocamlformat.hash

.travis.yml
.travis.yml

CODE_OF_CONDUCT.md
CODE_OF_CONDUCT.md

CONTRIBUTING.md
CONTRIBUTING.md

CONTRIBUTORS
CONTRIBUTORS

FILES.md
FILES.md

INSTALL.md
INSTALL.md

ISSUE_TEMPLATE.md
ISSUE_TEMPLATE.md

LICENSE
LICENSE

Makefile
Makefile

Makefile.autoconf.in
Makefile.autoconf.in

Makefile.config
Makefile.config

PULL_REQUEST_TEMPLATE.md
PULL_REQUEST_TEMPLATE.md

README.md
README.md

autogen.sh
autogen.sh

build-infer.sh
build-infer.sh

configure.ac
configure.ac

dotbuckversion
dotbuckversion

install-sh
install-sh

opam
opam

opam.locked
opam.locked

Repository files navigation
README
Code of conduct
MIT license
Infer

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/

Resources

Readme

License

MIT license

Code of conduct

Code of conduct

Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks

Report repository

Releases
26 tags

Packages

No packages published

Languages

OCaml 72.2%

Java 8.9%

C++ 6.3%

C 3.6%

Objective-C 2.9%

Makefile 2.8%

Other 3.3%

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms

Privacy

Security

Status

Docs

Contact

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Repository files navigation

Infer

Installation

Contributing

License

About

Uh oh!

Releases

Packages

Languages

Name		Name	Last commit message	Last commit date
Latest commit History 6,365 Commits
dependencies		dependencies
docker		docker
examples		examples
facebook-clang-plugins @ dc42763		facebook-clang-plugins @ dc42763
infer		infer
m4		m4
scripts		scripts
sledge		sledge
.buckconfig		.buckconfig
.clang-format		.clang-format
.gitignore		.gitignore
.gitmodules		.gitmodules
.inferconfig		.inferconfig
.ocamlformat		.ocamlformat
.ocamlformat.hash		.ocamlformat.hash
.travis.yml		.travis.yml
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
CONTRIBUTORS		CONTRIBUTORS
FILES.md		FILES.md
INSTALL.md		INSTALL.md
ISSUE_TEMPLATE.md		ISSUE_TEMPLATE.md
LICENSE		LICENSE
Makefile		Makefile
Makefile.autoconf.in		Makefile.autoconf.in
Makefile.config		Makefile.config
PULL_REQUEST_TEMPLATE.md		PULL_REQUEST_TEMPLATE.md
README.md		README.md
autogen.sh		autogen.sh
build-infer.sh		build-infer.sh
configure.ac		configure.ac
dotbuckversion		dotbuckversion
install-sh		install-sh
opam		opam
opam.locked		opam.locked

Folders and files

Latest commit

History

Repository files navigation

Infer

Installation

Contributing

License

About

Resources

License

Code of conduct

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages