Skip to content
forked from facebook/infer

A static analyzer for Java, C, C++, and Objective-C

License

Notifications You must be signed in to change notification settings

yuanfeng0905/infer

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

Folders and files

NameName
Last commit message
Last commit date
Feb 27, 2017
Apr 11, 2017
Jun 28, 2017
Mar 28, 2017
Jun 28, 2017
Jul 4, 2017
Mar 14, 2017
May 11, 2017
Dec 10, 2016
Jun 21, 2016
Jun 15, 2017
Aug 18, 2015
Feb 20, 2017
Jun 28, 2017
Jun 27, 2017
Jan 31, 2017
Jan 11, 2017
May 11, 2017
Jun 9, 2017
Jul 16, 2015
Jul 3, 2017
Jun 7, 2017
Jun 27, 2017
Jun 9, 2015
Dec 6, 2016
Apr 25, 2017
Jun 28, 2017
Jun 28, 2017
Nov 20, 2016
Jun 28, 2017
Jun 28, 2017

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, C++, and Objective-C

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 71.3%
  • Java 10.1%
  • C++ 4.8%
  • C 4.1%
  • Objective-C 3.3%
  • Makefile 2.8%
  • Other 3.6%