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

yanghongkjxy/infer

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

Folders and files

NameName
Last commit message
Last commit date
Feb 27, 2017
Jan 3, 2018
Nov 10, 2017
Oct 27, 2017
Dec 15, 2017
Jan 13, 2018
Mar 14, 2017
Dec 28, 2017
Dec 10, 2016
Jun 21, 2016
Oct 16, 2017
Aug 18, 2015
Sep 20, 2017
Dec 28, 2017
Sep 11, 2017
Oct 20, 2017
Jan 31, 2017
Jan 13, 2018
Aug 4, 2017
Oct 18, 2017
Jul 16, 2015
Jan 3, 2018
Oct 25, 2017
Sep 13, 2017
Jun 9, 2015
Jul 25, 2017
Apr 25, 2017
Oct 16, 2017
Oct 25, 2017
Jan 9, 2018
Nov 20, 2016
Nov 29, 2017
Dec 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.

Contributing

See CONTRIBUTING.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

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 70.0%
  • Java 9.7%
  • C++ 6.7%
  • C 3.6%
  • Objective-C 3.6%
  • Makefile 2.9%
  • Other 3.5%