8000 GitHub - zyq8709/infer: A static analyzer for Java, C and Objective-C

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

zyq8709 / 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 and Objective-C

fbinfer.com/

View license

0 stars 2k forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 780 Commits
dependencies/java		dependencies/java
docker		docker
examples		examples
facebook-clang-plugins @ cb65aec		facebook-clang-plugins @ cb65aec
infer		infer
m4		m4
scripts		scripts
.buckconfig		.buckconfig
.gitignore		.gitignore
.gitmodules		.gitmodules
.inferconfig		.inferconfig
CONTRIBUTING.md		CONTRIBUTING.md
FILES.md		FILES.md
INSTALL.md		INSTALL.md
LICENSE		LICENSE
Makefile.config.in		Makefile.config.in
Makefile.in		Makefile.in
PATENTS		PATENTS
README.md		README.md
autogen.sh		autogen.sh
build-infer.sh		build-infer.sh
configure.ac		configure.ac
infer.install		infer.install
install-sh		install-sh
opam		opam

Repository files navigation

Infer

Infer is a static analysis tool for Java, Objective-C and C, written in OCaml. Check out the documentation at http://fbinfer.com/. See FILES.md for a quick overview of the files in infer/bin.