All Projects → facebook → Infer

facebook / Infer

Licence: mit
A static analyzer for Java, C, C++, and Objective-C

Programming Languages

java
68154 projects - #9 most used programming language
c
50402 projects - #5 most used programming language
ocaml
1615 projects
SMT
39 projects
C++
36643 projects - #6 most used programming language
Standard ML
205 projects

Projects that are alternatives of or similar to Infer

Cflint
Static code analysis for CFML (a linter)
Stars: ✭ 156 (-98.78%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Sonarjs
SonarSource Static Analyzer for JavaScript and TypeScript
Stars: ✭ 696 (-94.57%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
static-code-analysis-plugin
A plugin to simplify Static Code Analysis on Gradle. Not restricted to, but specially useful, in Android projects, by making sure all analysis can access the SDK classes.
Stars: ✭ 36 (-99.72%)
Mutual labels:  static-code-analysis, static-analysis, code-quality
codeclimate-phpcodesniffer
Code Climate Engine for PHP Code Sniffer
Stars: ✭ 27 (-99.79%)
Mutual labels:  static-code-analysis, static-analysis, code-quality
Pylint
It's not just a linter that annoys you!
Stars: ✭ 3,733 (-70.89%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Checkstyle
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.
Stars: ✭ 6,481 (-49.46%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Static Analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Stars: ✭ 9,310 (-27.4%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
codeclimate-eslint
Code Climate Engine for ESLint
Stars: ✭ 86 (-99.33%)
Mutual labels:  static-code-analysis, static-analysis, code-quality
Reviewdog
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Stars: ✭ 4,541 (-64.59%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Sonar Php
🐘 SonarPHP: PHP static analyzer for SonarQube & SonarLint
Stars: ✭ 288 (-97.75%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Codeclimate
Code Climate CLI
Stars: ✭ 2,273 (-82.27%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Sonar Dotnet
Code analyzer for C# and VB.NET projects https://redirect.sonarsource.com/plugins/vbnet.html
Stars: ✭ 466 (-96.37%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
qodana-action
⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana
Stars: ✭ 112 (-99.13%)
Mutual labels:  static-code-analysis, static-analysis, code-quality
codeclimate-duplication
Code Climate engine for code duplication analysis
Stars: ✭ 96 (-99.25%)
Mutual labels:  static-code-analysis, static-analysis, code-quality
Pmd
An extensible multilanguage static code analyzer.
Stars: ✭ 3,667 (-71.4%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Pep8speaks
A GitHub app to automatically review Python code style over Pull Requests
Stars: ✭ 546 (-95.74%)
Mutual labels:  static-analysis, static-code-analysis, code-quality
Sonarts
Static code analyzer for TypeScript
Stars: ✭ 776 (-93.95%)
Mutual labels:  static-analysis, code-quality
Sonar Java
☕️ SonarSource Static Analyzer for Java Code Quality and Security
Stars: ✭ 745 (-94.19%)
Mutual labels:  static-analysis, static-code-analysis
Perl Critic
The leading static analyzer for Perl. Configurable, extensible, powerful.
Stars: ✭ 149 (-98.84%)
Mutual labels:  static-analysis, static-code-analysis
Sonar Jproperties Plugin
SonarQube Java Properties Analyzer
Stars: ✭ 5 (-99.96%)
Mutual labels:  static-analysis, code-quality

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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].