facebook/infer

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

15,705

stars

14,563

commits

OCaml

primary language

Sep 10, 2026

updated

fbinfer.com/

code-quality

cpp

java

objective-c

static-analysis

static-code-analysis

Browse cluster: Static Analysis & Code Quality Tools →

README

Infer

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

Installation

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Contributing

See CONTRIBUTING.md.

License

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.

Contributors

(top 30 of 164)

2,539 commits

1,741 commits

1,460 commits

1,089 commits

Similar repos

analysis-tools-dev/static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config…

14,766

shared topics

returntocorp/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like…

16,589

shared topics

semgrep/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like…

16,589

shared topics

uber/NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

4,105

shared topics

CatalaLang/catala

Programming language for literate programming law specification

2,383

similar language mix

PyCQA/pylint

It's not just a linter that annoys you!

5,722

shared topics

checkstyle/checkstyle

Checkstyle is a development tool to help programmers write Java code that adheres to a coding…

9,530

shared topics

alexkohler/nakedret

nakedret is a Go static analysis tool to find naked returns in functions greater than a specified…

132

shared topics

Languages

OCaml

69.6%

Java

6.1%

C++

6.0%

LLVM

4.2%

Objective-C

2.9%

Makefile

2.6%

2.2%

Hack

1.5%

Erlang

1.3%

facebook/infer

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

15,705

stars

14,563

commits

OCaml

primary language

Sep 10, 2026

updated

fbinfer.com/

code-quality

cpp

java

objective-c

static-analysis

static-code-analysis

Browse cluster: Static Analysis & Code Quality Tools →

README

Infer

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

Installation

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Contributing

See CONTRIBUTING.md.

License

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.

Similar repos

analysis-tools-dev/static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config…

14,766

shared topics

returntocorp/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like…

16,589

shared topics

semgrep/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like…

16,589

shared topics

uber/NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

4,105

shared topics

CatalaLang/catala

Programming language for literate programming law specification

2,383

similar language mix

PyCQA/pylint

It's not just a linter that annoys you!

5,722

shared topics

checkstyle/checkstyle

Checkstyle is a development tool to help programmers write Java code that adheres to a coding…

9,530

shared topics

alexkohler/nakedret

nakedret is a Go static analysis tool to find naked returns in functions greater than a specified…

132

shared topics

Contributors

(top 30 of 164)

2,539 commits

1,741 commits

1,460 commits

1,089 commits

Languages

OCaml

69.6%

Java

6.1%

C++

6.0%

LLVM

4.2%

Objective-C

2.9%

Makefile

2.6%

2.2%

Hack

1.5%

Erlang

1.3%