Skip to content

mo-group/infer

This branch is 14674 commits behind facebook/infer:main.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

6803fb6 · Jun 13, 2015

History

29 Commits
Jun 9, 2015
Jun 9, 2015
Jun 12, 2015
Jun 11, 2015
Jun 9, 2015
Jun 10, 2015
Jun 9, 2015
Jun 11, 2015
Jun 12, 2015
Jun 9, 2015
Jun 9, 2015
Jun 10, 2015
Jun 9, 2015
Jun 9, 2015

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

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 71.9%
  • Java 19.0%
  • C 3.9%
  • Python 2.4%
  • Objective-C 1.7%
  • Shell 0.5%
  • Other 0.6%