infer

Infer is a static code analysis tool developed for Java, C, C++ and Objective-C projects. It is written in the OCaml language and performs various controls on the source code. It is distributed under the MIT license, but activating Java support may require the download of GPL licensed components.

IN

facebook · Code Quality & Review

STARS15.7K
FORKS2.1K
COMMITS16.2K
CONTRIBUTORS166
VERSIONv1.3.0
UPDATED4 days ago
OCamlStatic AnalysisCode QualityC++MIT

Common commercial products in this category: SonarCloud, Codacy, DeepSource

What can it do?
  • You perform static code analysis on C, C++, Objective-C and Java projects.
  • You run the system by installing bundled versions or compiling them from source code.
  • You detect empty pointer access, source leakage, and synchrony errors before the code runs.

Verified against README · Oct 25, 2026 · source

My note

Alternative pages

More in: Code Quality & Review