OCaml MIT

infer

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

F

facebook

Dernière activité 28 sept. 2026
facebook/infer

15,7 k

étoiles

2,1 k

forks

210

issues ouvertes

ccode-qualitycppjavaobjective-cstatic-analysisstatic-code-analysis

Ce README est souvent en anglais.

logo

Infer build website

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.

Projets similaires

A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C

C++
Ooclint
3,9 k étoiles495

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

Ccgojava
Ssemgrep
16,8 k étoiles1,1 k

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Rustanalysisawesome-listcode-quality
Aanalysis-tools-dev
14,8 k étoiles1,5 k