facebook

facebook / infer

#2
15,6672,102+1 todayOCaml

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

📊 Project Info

Language
OCaml
Stars
15,667
Forks
2,102
Today
+1
Ranking
#2
Collection
Language
Trending Date
July 18, 2026
Last Push
7/15/2026

🏷️ Topics

ccode-qualitycppjavaobjective-cstatic-analysisstatic-code-analysis