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

daibou007/infer

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

Folders and files

NameName
Last commit message
Last commit date

Latest commit

c8b063f · Jun 3, 2019
Nov 23, 2018
May 22, 2019
May 8, 2019
May 30, 2019
Jun 3, 2019
Nov 23, 2018
Jun 3, 2019
Jun 3, 2019
Dec 10, 2016
Jun 21, 2016
May 14, 2019
Aug 18, 2015
Mar 2, 2018
Apr 2, 2019
Mar 28, 2019
Mar 26, 2019
Aug 2, 2018
Feb 7, 2019
Jan 31, 2017
May 10, 2018
Aug 4, 2017
Nov 23, 2018
Feb 7, 2019
May 31, 2018
May 30, 2019
Mar 15, 2019
May 30, 2019
Feb 7, 2019
May 31, 2018
Jun 4, 2018
Dec 20, 2018
Mar 26, 2019
Jun 22, 2018
Nov 20, 2016
Apr 24, 2019
May 14, 2019

Repository files navigation

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 71.8%
  • Java 8.9%
  • C++ 6.5%
  • C 3.7%
  • Objective-C 2.9%
  • Makefile 2.9%
  • Other 3.3%