facebook

facebook / infer

#3
15,6312,094+2 todayOCaml

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

📊 Project Info

Language
OCaml
Stars
15,631
Forks
2,094
Today
+2
Ranking
#3
Collection
Language
Trending Date
June 1, 2026
Last Push
6/1/2026

🏷️ Topics

ccode-qualitycppjavaobjective-cstatic-analysisstatic-code-analysis