infer

github.comtool

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

from

C/C++, iOS, OCaml

added

2026-10-10

likes

0

C/C++ › Static Code Analysis: “A static analyzer for Java, C and Objective-C. [BSD]”

iOS › Tools: “A static analyzer for Java, C and Objective-C.”

OCaml › Code Analysis and Linters: “Infer is a static analyzer for Java, C and Objective-C”