TopGit
GITHUB SNAPSHOT

facebook/infer

facebook/infer
FTopGit repo profile image for facebook/infer
TopGit repo profile for facebook/infer, with GitHub repository stats and README context.
Stars
★ 15.7k
Forks
⑂ 2.1k
Language
OCaml
Topic
Backend
License
MIT
Updated
22d ago
Contributors
👥 229
Homepage
QUICK VERDICT

On GitHub, facebook/infer has picked up 15.7k stars, Backend, OCaml. A static analyzer for Java, C, C++, and Objective-C

Snapshot summary built from the project's own GitHub metadata — there's no written TopGit review yet. The page will update automatically when a full review is published.

WHY NO REVIEW YET

TopGit writes full reviews for the most-starred, most-requested repositories. This page is a snapshot until then — see the READ ME tab for the original README in full.

Snapshot

Stars★ 15.7k
Forks⑂ 2.1k
LanguageOCaml
TopicBackend
LicenseMIT
HomepageView ↗

Read our review methodology

Top contributors

Show top contributors
Top 21 contributors to facebook/infer

Related repositories

FREQUENTLY ASKED

Quick answers

How active is development on facebook/infer?

The most recent commit recorded on facebook/infer was 21 days ago, based on the GitHub push timestamp. The repository has 2.1k forks — one of the better signals of community interest.

How many stars does facebook/infer have?

facebook/infer has 15.7k GitHub stars — refresh the page for the live number, or check github.com/facebook/infer. TopGit mirrors GitHub's count but does not claim minute-by-minute accuracy.

What else is in the Backend space?

facebook/infer is tracked by TopGit under the Backend category, alongside 7 GitHub-tagged topics. Trending and Topics pages list peer repositories of comparable stars and language.

What language is facebook/infer written in?

facebook/infer is written primarily in OCaml. GitHub's language field is based on the largest share of bytes in the default branch.

What topics is facebook/infer associated with?

GitHub's repository topics for facebook/infer: "c", "code-quality", "cpp", "java", "objective-c", "static-analysis", "static-code-analysis". TopGit's editorial category is Backend.

Where do I read more about facebook/infer?

This TopGit page is a snapshot — the READ ME tab shows the project's own README content (links stripped, images preserved). The GitHub repository at github.com/facebook/infer is the definitive source.

Why is facebook/infer categorized under Backend?

TopGit places facebook/infer in the Backend category based on its GitHub topics and description (tagged: "c", "code-quality", "cpp"). Categories are assigned from real repository metadata, not editorial guesswork.

Read full README in the tab above.

Curious whether infer is right for you?

Let ChatGPT, Claude, or Perplexity look into it — click below and see what AI actually says about infer.

GitHub