FICHA · AUR

infer

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

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

Description

Static analysis can find bugs in Java, C, C++, and Objective-C code before the program is shipped.

It is useful for developers who want automated checks for memory, nullability, resource, or concurrency problems. 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.