Skip to content
/ infer Public
forked from facebook/infer

A static analyzer for Java, C and Objective-C

License

Notifications You must be signed in to change notification settings

inno-v/infer

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

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Andrzej Kotulski
Jun 12, 2015
ee3f88a · Jun 12, 2015

History

26 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%