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

neven7/infer

Folders and files

NameName
Last commit message
Last commit date

Latest commit

937ae12 · Nov 30, 2016
Jun 21, 2016
Oct 11, 2016
Nov 15, 2016
Mar 28, 2016
Nov 24, 2016
Nov 30, 2016
Jul 8, 2016
Nov 20, 2016
Nov 14, 2016
Jun 21, 2016
Nov 17, 2016
Aug 18, 2015
Sep 18, 2016
Oct 13, 2016
Oct 17, 2016
Nov 18, 2016
Jun 22, 2016
Nov 18, 2016
Jul 16, 2015
Nov 22, 2016
Nov 17, 2016
Jun 9, 2015
Jun 20, 2016
Feb 10, 2016
Oct 13, 2016
Nov 26, 2016
Nov 20, 2016
Nov 20, 2016
Nov 20, 2016
Nov 20, 2016

Repository files navigation

Infer Build Status

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.

Note: Enabling Java support may require you to download and install components licensed under the GPL.

About

A static analyzer for Java, C and Objective-C

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 64.8%
  • Java 10.2%
  • Rust 6.8%
  • C 4.3%
  • C++ 3.7%
  • Python 3.5%
  • Other 6.7%