Need help with infer?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

12.7K Stars 1.7K Forks MIT License 10.2K Commits 323 Opened issues


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

Services available


Need anything else?

Contributors list


Infer build website

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




Infer is MIT-licensed.

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

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.