foxbabe / infer

A static analyzer for Java, C and Objective-C

Infer

Infer is a static analysis tool for Java, Objective-C and C, written in OCaml. Check out the documentation at http://fbinfer.com/. See FILES.md for a quick overview of the files in infer/bin.

Installation

Read the INSTALL.md file for details on installing Infer.

License

Infer is BSD-licensed. We also provide an additional patent grant.

About

A static analyzer for Java, C and Objective-C

http://fbinfer.com/

Other

Languages

Language:OCaml 67.5%Language:Java 20.2%Language:C 4.5%Language:Python 3.0%Language:Objective-C 2.7%Language:C++ 0.9%Language:Shell 0.9%Language:LLVM 0.2%Language:Makefile 0.1%Language:Standard ML 0.0%Language:CMake 0.0%Language:Objective-C++ 0.0%Language:Perl 0.0%