facebook/infer

A static analyzer for Java, C, C++, and Objective-C

OCamlMIT15.5k2.1k224409 open issues

Created Jan 26, 2015Last commit Feb 20, 2026Last human commit Feb 20, 2026

ccode-qualitycppjavaobjective-cstatic-analysisstatic-code-analysis

Alternative to

Embed Badge

Markdown

[![Play on Codakey](https://codakey.io/badge.svg)](https://codakey.io/projects/facebook-infer)

HTML

<a href="https://codakey.io/projects/facebook-infer"><img src="https://codakey.io/badge.svg" alt="Play on Codakey" height="28" /></a>

Daily Activity

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.

Adds static typing to JavaScript to improve developer productivity and code quality.