meta / infer
git clone https://github.com/meta/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 · #11,172
+7
stars, 7 days · #19,615
+42
stars, 30 days · #17,204
16k
★ total · +0% this week
2.1k
forks · 261 open issues
Star history (as recorded here)
LanguageOCaml
LicenseMIT
Created2015-01-26 (11y ago)
Last push1d ago
Watchers582
OwnerOrganization
Seen on GitHub Trending
- 2026-10-30 — #6 daily in ocaml · +3 ★
- 2026-10-30 — #2 monthly in ocaml · +42 ★
- 2026-10-30 — #6 weekly in ocaml · +16 ★
- 2026-10-29 — #6 daily in ocaml · +4 ★
- 2026-10-29 — #4 monthly in ocaml · +42 ★
- 2026-10-29 — #5 weekly in ocaml · +13 ★
- 2026-10-28 — #3 monthly in ocaml · +39 ★
- 2026-10-28 — #6 weekly in ocaml · +9 ★
- 2026-10-27 — #5 monthly in ocaml · +36 ★
- 2026-10-27 — #5 weekly in ocaml · +7 ★
- 2026-10-26 — #9 daily in ocaml · +2 ★
- 2026-10-26 — #4 monthly in ocaml · +34 ★
- 2026-10-26 — #3 weekly in ocaml · +7 ★
- 2026-10-25 — #4 monthly in ocaml · +33 ★
- 2026-10-25 — #4 weekly in ocaml · +7 ★
- 2026-10-24 — #2 daily in ocaml · +1 ★
- 2026-10-24 — #4 monthly in ocaml · +34 ★
- 2026-10-24 — #3 weekly in ocaml · +8 ★
- 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/meta/infer
- Homepage: http://fbinfer.com/
- Releases · Issues · Hacker News mentions
README
Loading README…
Blurb generated by claude-haiku-5-5 7d ago. Star deltas marked ~ are extrapolated from partial history.