infer

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

15,527stars

Forks

2,071

Open issues

410

Watchers

15,527

Size

202.5 MB

OCamlMIT License

ccode-qualitycppjavaobjective-cstatic-analysisstatic-code-analysis

Created: Jan 26, 2015

Updated: Feb 27, 2026

Last push: Feb 27, 2026