← all repos

facebook / infer

git clone https://github.com/facebook/infer.git v1.3.0 · 5mo ago 🔥 on GitHub Trending today

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

Star history (as recorded here)

Seen on GitHub Trending

• 2026-10-22 — #6 monthly in ocaml · +34 ★
• 2026-10-22 — #4 weekly in ocaml · +9 ★
• 2026-10-21 — #5 monthly in ocaml · +35 ★
• 2026-10-21 — #4 weekly in ocaml · +12 ★
• 2026-10-20 — #5 monthly in ocaml · +34 ★
• 2026-10-20 — #4 weekly in ocaml · +13 ★

GitHub topics

Links

• GitHub: github.com/facebook/infer
• Homepage: http://fbinfer.com/
• Releases · Issues · Hacker News mentions

# Infer 
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.