FICHA · AUR

infer-bin

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

  • static-analysis-tool
  • CLI
  • TERMINAL
  • Dev
  • Launchable
  • Runs in terminal
official+codex · reviewed · Jun 1, 2026 description in en

Description

Static analysis can be run from a prebuilt Infer package to find bugs in Java, C, C++, and Objective-C projects.

It is useful for developers who prefer a binary release of the analyzer. Findings should be reviewed with project context because false positives and build-configuration issues are possible.

How to run

infer

Commands: infer

Permissions

Permissions not analysed for this source yet.