# facebook/infer

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

Repository: https://github.com/facebook/infer
Canonical: https://ross.abutalabs.com/products/infer
Homepage: http://fbinfer.com/
Language: OCaml
License: MIT
License Family: permissive
Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp, objective-c
Last push: 2026-08-25T12:22:25+00:00

## Health v2 (maintenance only)
Score: 82/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 99, release rhythm 51, longevity 100
- inputs: {"age_days": 4237, "days_push": 8, "days_rel": 113, "gap_med": null, "n_releases_24m": 1}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 15690, forks 2099 (observed 2026-08-28T04:11:13.777637+00:00)

## What it is
Infer is a static analysis tool, written in OCaml, that detects bugs in Java, C, C++, Objective-C, and Erlang code before it ships. It intercepts critical issues such as null pointer dereferences, resource and memory leaks, data races, and concurrency problems by analyzing code as part of a build or CI pipeline.

## Use cases
- find null pointer exceptions in Android and Java code
- detect memory leaks in C and C++ projects
- catch resource leaks before shipping an iOS app
- find data races and missing lock guards in Java code
- run static analysis in a CI pipeline on every code change
- analyze Objective-C code for null dereferences and unavailable APIs
- write custom abstract-interpretation checkers for multiple languages

## When to choose
- you develop Java, Android, C, C++, or Objective-C code and want to catch bugs before release
- you want a static analyzer that integrates with existing build commands like javac, gradle, xcodebuild, or clang
- you need interprocedural analysis that finds deep issues across multiple files
- you want a battle-tested tool deployed at scale in CI (used by Meta for Facebook, Instagram, WhatsApp)

## When to avoid
- your codebase is in languages Infer does not support, such as Python, Go, or Rust
- you need dynamic testing or runtime verification rather than static analysis
- you require a GUI-based analysis tool rather than a command-line workflow
- you cannot tolerate GPL-licensed components needed for Java support

## Facets
- artifact type: cli-tool
- maturity: active
- function: security, developer-tools, ci-cd
- domain: developer-tools, testing, programming-languages
- platform: cli
- tags: static-analysis, static-code-analysis, code-quality, java, cpp, objective-c, erlang, abstract-interpretation, bug-detection, ocaml, linux, macos, docker

## Member repositories
- facebook/infer (main) score 82

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:11:13.777637+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-29T17:05:34.731974+00:00, confidence not recorded.
  - readme: https://github.com/facebook/infer (fetched 2026-08-28T04:11:13.777637+00:00, sha 88f4662885ce)
  - homepage: http://fbinfer.com/ (fetched 2026-08-29T08:03:36.488579+00:00, sha d98227efcec9)
  - site_page: https://fbinfer.com/docs/getting-started (fetched 2026-08-29T08:03:36.497620+00:00, sha 93ec4a7754ad)
  - site_page: https://fbinfer.com/docs/support (fetched 2026-08-29T08:03:36.499617+00:00, sha f62609bf649a)
  - site_page: https://fbinfer.com/docs/about-Infer (fetched 2026-08-29T08:03:36.501543+00:00, sha 67259a063377)
  - site_page: https://fbinfer.com/docs/infer-workflow (fetched 2026-08-29T08:03:36.503115+00:00, sha a935d90c4349)
  - site_page: https://fbinfer.com/docs/all-issue-types (fetched 2026-08-29T08:03:36.504921+00:00, sha 51ef0a26b731)
  - site_page: https://fbinfer.com/docs/absint-framework (fetched 2026-08-29T08:03:36.509323+00:00, sha d305a751d443)
- Data as of 2026-08-30T08:39:29.467469+00:00.