static-code-analysis

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

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

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

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

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

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

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

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

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

C语言静态分析框架