A static analyzer for Java, C, C++, and Objective-C
Alternatives To Infer
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
9343 days ago67September 01, 2022408mitSwift
A tool to enforce Swift style and conventions.
Infer14,052647a day ago8June 09, 2020391mitOCaml
A static analyzer for Java, C, C++, and Objective-C
Static Analysis11,323
3 days ago10mitRust
⚙️ 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.
Sonarqube7,804495177a day ago191April 08, 20161lgpl-3.0Java
Continuous Inspection
Checkstyle7,74145611410 hours ago115June 27, 2022790lgpl-2.1Java
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
Reviewdog6,400123a day ago154April 21, 2022119mitGo
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Pyre Check6,356231019 hours ago74June 30, 2022138mitOCaml
Performant type-checking for python.
Detekt5,4442810 hours ago30August 30, 2021173apache-2.0Kotlin
Static code analysis for Kotlin
12 hours ago761gpl-2.0Python
It's not just a linter that annoys you!
Larastan4,609156166a month ago108July 17, 202248mitPHP
⚗️ Adds code analysis to Laravel improving developer productivity and code quality.
Alternatives To Infer
Select To Compare

Alternative Project Comparisons

Infer build website

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


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




Infer is MIT-licensed.

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

Popular Static Analysis Projects
Popular Code Quality Projects
Popular Code Quality Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Objective C
Static Analysis
Code Quality
Static Code Analysis
Static Analyzer