facebook/infer
GitHubA static analyzer for Java, C, C++, and Objective-C
- c
- code-quality
- cpp
- java
- objective-c
- static-analysis
- static-code-analysis
- Stars:
- 15.7k
- Language:
- OCaml
- Default branch:
- main
- Last scored:
At a glance
- Rank
- #318 of 401
- #3 of 4 OCaml repos
- Checks passed
- 6 of 16
- Full list below
- Best set up for
- GPT-5 Codex
- Score 63.3
- Needs most work for
- Aider
- Biggest fix: .aider.conf.yml (+14.1 pts)
What it has
What it's missing
What to fix first
Showing fixes for Claude Code
- 1Test suiteAdd a tests/ (or test/, __tests__/, spec/) directory with runnable tests. Document how to run them in AGENTS.md.+13.2 pts
- 2Type configurationAdd a type config (tsconfig.json for JS/TS, mypy.ini or pyrightconfig.json for Python). Rust/Go/JVM/Scala/Swift/C#/OCaml/Haskell/Zig are typed by default.+7.9 pts
- 3Pre-commit / git hooksSet up pre-commit (.pre-commit-config.yaml), husky, or lefthook to run format+lint on every commit.+5.3 pts
Score for each AI agent
Each agent looks for different things in a repo, based on its own docs. Under each score are the three checks it cares about most; the agent's name links to its leaderboard. How each agent is scored →
Does facebook/infer have agent instructions?
An AGENTS.md (or CLAUDE.md) at the root tells AI coding agents how to build, test and work in the repo. A few agents also read a file of their own.
- AGENTS.md / CLAUDE.md
AGENTS.md(new tab) · 7,131 characters- Agent-specific files
- None: no GEMINI.md, .cursor/rules, .openhands/setup.sh or .aider.conf.yml
- Repos that have one
- 214 of 401 repos on the leaderboard · See examples →
All 16 checks · 6 passed
How facebook/infer compares
- vs leaderboard average
- 10.0 pts below
- Average 68.9
- vs OCaml average
- 2.3 pts below
- Average 61.2
- Stars among OCaml repos
- #1 of 4
Missing here, and how many repos have it
- Type configuration · passed by 68% of leaderboard repos
- Test suite · passed by 52% of leaderboard repos
- Pre-commit / git hooks · passed by 29% of leaderboard repos
One fix for the most agents: Test suite would raise the score for all 9 agents, by up to 14.1 points.
Similar repos
Same language and host first, then the repos closest in overall score.
- ocaml/dune75.5OCaml · 1.9k ★
- ocaml/opam66.7OCaml · 1.4k ★
- Crystal · 20.5k ★
- mkdocs/mkdocs58.9Python · 22.5k ★
- C · 23.7k ★
- ocaml/ocaml43.7OCaml · 6.6k ★
Add a badge to your README
Paste this at the top of the README. It shows the score, and links back to this page.
[](https://agentfriendlycode.com/repo/github/facebook/infer)Check the score on every pull request
A GitHub Action posts one comment per pull request with how the score changed and why.