Infer
A static analyzer for Java, C, C++, and Objective-C
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Swiftlint | 17,413 | 934 | 3 days ago | 67 | September 01, 2022 | 408 | mit | Swift | ||
| A tool to enforce Swift style and conventions. | ||||||||||
| Infer | 14,052 | 64 | 7 | a day ago | 8 | June 09, 2020 | 391 | mit | OCaml | |
| A static analyzer for Java, C, C++, and Objective-C | ||||||||||
| Static Analysis | 11,323 | 3 days ago | 10 | mit | Rust | |||||
| ⚙️ 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. | ||||||||||
| Sonarqube | 7,804 | 495 | 177 | a day ago | 191 | April 08, 2016 | 1 | lgpl-3.0 | Java | |
| Continuous Inspection | ||||||||||
| Checkstyle | 7,741 | 456 | 114 | 10 hours ago | 115 | June 27, 2022 | 790 | lgpl-2.1 | Java | |
| 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. | ||||||||||
| Reviewdog | 6,400 | 1 | 23 | a day ago | 154 | April 21, 2022 | 119 | mit | Go | |
| 🐶 Automated code review tool integrated with any code analysis tools regardless of programming language | ||||||||||
| Pyre Check | 6,356 |  | 23 | 10 | 19 hours ago | 74 | June 30, 2022 | 138 | mit | OCaml |
| Performant type-checking for python. | ||||||||||
| Detekt | 5,444 | 28 | 10 hours ago | 30 | August 30, 2021 | 173 | apache-2.0 | Kotlin | ||
| Static code analysis for Kotlin | ||||||||||
| Pylint | 4,693 | 12 hours ago | 761 | gpl-2.0 | Python | |||||
| It's not just a linter that annoys you! | ||||||||||
| Larastan | 4,609 |  | 156 | 166 | a month ago | 108 | July 17, 2022 | 48 | mit | PHP |
| ⚗️ Adds code analysis to Laravel improving developer productivity and code quality. | ||||||||||
Alternatives To InferSelect To Compare
Alternative Project Comparisons
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.
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.
Java
C Plus Plus
C
Objective C
Ocaml
Static Analysis
Code Quality
Static Code Analysis
Static Analyzer