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

liuhedong01/infer

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

Folders and files

NameName
Last commit message
Last commit date
Oct 15, 2020
Apr 30, 2020
Nov 13, 2020
Jun 13, 2019
Nov 13, 2020
Nov 13, 2020
Mar 30, 2020
Oct 9, 2020
Nov 13, 2020
Nov 5, 2020
Dec 10, 2016
Sep 10, 2020
Mar 4, 2020
Nov 4, 2020
Mar 2, 2018
Apr 2, 2019
Sep 8, 2020
Aug 19, 2020
Jan 31, 2017
Oct 9, 2020
Aug 4, 2017
Oct 20, 2020
May 28, 2020
Jun 13, 2019
Nov 6, 2020
Jul 2, 2020
Nov 13, 2020
Feb 7, 2019
Oct 15, 2020
Sep 10, 2020
Oct 6, 2020
Nov 4, 2020
Nov 20, 2016
Oct 23, 2020
Oct 23, 2020

Repository files navigation

logo

Infer Build Status

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

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.0%
  • Java 9.2%
  • C++ 7.4%
  • Standard ML 4.1%
  • C 2.9%
  • Objective-C 2.9%
  • Other 4.5%