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

Owl7/infer

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

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Andrzej KotulskiFacebook Github Bot 8
Andrzej Kotulski
and
Facebook Github Bot 8
Mar 30, 2016
7753bdc · Mar 30, 2016
Aug 13, 2015
Mar 29, 2016
Mar 28, 2016
Mar 30, 2016
Mar 29, 2016
Feb 19, 2016
Jun 9, 2015
Mar 29, 2016
Aug 18, 2015
Nov 7, 2015
Mar 2, 2016
Jan 21, 2016
Mar 10, 2016
Jul 16, 2015
Mar 29, 2016
Mar 29, 2016
Jun 9, 2015
Mar 10, 2016
Feb 10, 2016
Feb 11, 2016
Mar 29, 2016
Dec 3, 2015
Mar 29, 2016

Repository files navigation

Infer

Infer is a static analysis tool for Java, Objective-C and C, 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.

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 64.2%
  • Java 21.0%
  • C 4.2%
  • Python 3.6%
  • Objective-C 2.7%
  • C++ 2.1%
  • Other 2.2%