Skip to content
/ infer Public
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

jephtta/infer

Folders and files

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

Resources

License

Code of conduct

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 69.1%
  • Java 10.0%
  • C++ 6.9%
  • Objective-C 3.7%
  • C 3.6%
  • Makefile 3.1%
  • Other 3.6%