static-code-analysis

astral-sh/ruff

Rust

基于 Rust 开发的极速 Python 代码检查与格式化工具

linter pep8 python

astral-sh 开发者

49k

2.4k

2k

+20

排名 #15

9月5日

查看详情

eslint/eslint

JavaScript

发现并修复JavaScript代码中的问题

ecmascript eslint javascript

eslint 开发者

27k

5.2k

1.5k

+2

排名 #3

8月9日

查看详情

biomejs/biome

Rust

面向 Web 项目的工具链，旨在提供维护功能。Biome 提供格式化程序和代码检查工具，可通过 CLI 和 LSP 使用

css formatter javascript

biomejs 开发者

25k

1.2k

1.7k

+11

排名 #4

8月31日

查看详情

semgrep/semgrep

C

轻量级多语言静态分析工具。通过类源代码模式发现错误变体。

c go java

semgrep 开发者

16k

1.1k

1k

+15

排名 #12

9月17日

查看详情

facebook/infer

OCaml

面向 Java、C、C++ 和 Objective-C 的静态分析器

c code-quality cpp

facebook 开发者

15k

2.1k

1.1k

+2

排名 #6

9月19日

查看详情

phpstan/phpstan

PHP

PHP 静态分析工具——无需运行代码即可发现程序缺陷！

php php7 phpstan

phpstan 开发者

14k

957

1.3k

+6

排名 #20

9月16日

查看详情

rubocop/rubocop

Ruby

基于社区 Ruby 风格指南的静态代码分析器与格式化工具

code-formatter hacktoberfest linter

rubocop 开发者

12k

3.1k

1.3k

+2

排名 #15

9月9日

查看详情

checkstyle/checkstyle

Java

Checkstyle 是一款帮助程序员编写符合编码标准的 Java 代码的开发工具。它默认支持 Google Java 风格指南和 Sun 代码规范，同时具有高度可配置性，可通过 ANT 任务和命令行程序调用。

code-quality command-line-tool hacktoberfest

checkstyle 开发者

9.6k

4.2k

1.3k

+414

排名 #1

9月6日

查看详情

PyCQA/bandit

Python

Bandit是一款用于发现Python代码中常见安全问题的工具。

bandit linter python

PyCQA 开发者

8.1k

786

1.2k

+8

排名 #18

7月2日

查看详情

uber/NullAway

Java

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

android java nullability

uber 开发者

4.1k

362

328

+2

排名 #13

8月30日

查看详情

goblint/analyzer

OCaml

C语言静态分析框架

abstract-interpretation c ocaml

goblint 开发者

248

88

756

排名 #6

6月28日

查看详情