facebook / infer
git clone https://github.com/facebook/infer.git
v1.3.0 · 5mo ago
🔥 on GitHub Trending today
Static analyzer that finds bugs such as null dereferences and resource leaks in Java, C, C++, and Objective-C code.
Why you might care
Infer is an open-source, MIT-licensed analyzer from Facebook that checks large codebases for common defects without running the program. It suits teams working in the listed languages who want automated bug detection in CI; the README provides only installation and build pointers, so specific detectors are not detailed here.
+-2
stars, 24h · #61,774
+9
stars, 7 days · #12,213
+34
stars, 30 days · #17,325
16k
★ total · +0% this week
2.1k
forks · 261 open issues
Star history (as recorded here)
LanguageOCaml
LicenseMIT
Created2015-01-26 (11y ago)
Last pushtoday
Watchers582
OwnerOrganization
Seen on GitHub Trending
- 2026-10-23 — #6 daily in ocaml
- 2026-10-23 — #6 monthly in ocaml · +34 ★
- 2026-10-23 — #4 weekly in ocaml · +9 ★
- 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
README excerpt
# 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.
Blurb generated by claude-haiku-5-5 today. Star deltas marked ~ are extrapolated from partial history.