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

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 368 Commits
dependencies/java		dependencies/java
examples		examples
facebook-clang-plugins @ 5d5acdd		facebook-clang-plugins @ 5d5acdd
infer		infer
scripts		scripts
.buckconfig		.buckconfig
.gitignore		.gitignore
.gitmodules		.gitmodules
CONTRIBUTING.md		CONTRIBUTING.md
FILES.md		FILES.md
INSTALL.md		INSTALL.md
LICENSE		LICENSE
PATENTS		PATENTS
README.md		README.md
compile-fcp.sh		compile-fcp.sh
infer.install		infer.install
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.

Installation

Read the INSTALL.md file for details on installing Infer.

License

Infer is BSD-licensed. We also provide an additional patent grant.

About

A static analyzer for Java, C and Objective-C

fbinfer.com/

Releases

5 tags

Packages

Contributors

Languages

OCaml 70.3%
Java 18.8%
C 4.6%
Python 2.5%
Objective-C 2.2%
Shell 0.6%
Other 1.0%

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Folders and files

Latest commit

History

Repository files navigation

Infer

Installation

License

About

Resources

License

Contributing

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages