← Back to the directory

meta/infer

View on GitHub

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

meta/infer is #4,006 on the bestofgithub Elo ladder, in Gold III, with a rating of 1,573 (−4 this week). It has 15,755 stars, 8 gained in the last week.

Gold III

1,573 Elo

  • #4,006 on the ladder
  • +6 today · −4 this week
  • Peak 1,632
7 Elo to Gold II

Stars

15,755

  • +1 today
  • +8 this week
  • – this month

Repository

Forks
2.1k
Language
OCaml
Last push

Achievements

bestofgithub badgeMaintainer? Show your league in your README

Card: your league's emblem, from Copper to Legendary

[![bestofgithub](https://bestofgithub.dev/badge/meta/infer.svg?style=card)](https://bestofgithub.dev/repo/meta/infer)

Flat: fits beside your other badges

[![bestofgithub](https://bestofgithub.dev/badge/meta/infer.svg)](https://bestofgithub.dev/repo/meta/infer)

Install

git
git clone https://github.com/meta/infer.git

Similar repositories

checkstyle/checkstyle

Open on GitHubJava

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.

  • 1,640+28 Elo, change today
  • 9.6k stars
  • 4.4k forks
git
git clone https://github.com/checkstyle/checkstyle.git
  • code-quality
  • command-line-tool
  • hacktoberfest
  • java

analysis-tools-dev/static-analysis

Open on GitHubRust

⚙️ 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.

  • 1,609+13 Elo, change today
  • 14.9k stars
  • 1.5k forks
git
git clone https://github.com/analysis-tools-dev/static-analysis.git
  • analysis
  • awesome-list
  • code-quality
  • hacktoberfest

securego/gosec

Open on GitHubGo

Go security checker

  • 1,448+11 Elo, change today
  • 9k stars
  • 738 forks
git
git clone https://github.com/securego/gosec.git
  • golang
  • security
  • security-automation
  • security-tools

SonarSource/sonarqube

Open on GitHubJava

Continuous Inspection

  • 1,594−15 Elo, change today
  • 11.1k stars
  • 2.2k forks
git
git clone https://github.com/SonarSource/sonarqube.git
  • code-quality
  • sonarqube
  • static-analysis

google/error-prone

Open on GitHubJava

Catch common Java mistakes as compile-time errors

  • 1,394+3 Elo, change today
  • 7.2k stars
  • 838 forks
git
git clone https://github.com/google/error-prone.git
  • java
  • static-analysis

realm/SwiftLint

Open on GitHubSwift

A tool to enforce Swift style and conventions.

  • 1,600−12 Elo, change today
  • 19.7k stars
  • 2.3k forks
git
git clone https://github.com/realm/SwiftLint.git
  • code-quality
  • hacktoberfest
  • linter
  • linting

README

Loading README…