Meta 开源的静态分析工具，能在编译前扫描 Java、C、C++ 和 Objective-C 代码，提前发现空指针、资源泄漏等潜在缺陷。

Staticcheck 是 Go 语言的进阶静态分析工具，能查出编译器发现不了的 bug、性能问题和可疑代码，帮你在上线前把隐患拦下来。

用 PHP 写的 PHP 解析器，能把源码转成 AST，方便做静态分析、代码改写和工具链开发。

一份覆盖各种编程语言、配置文件和构建工具的静态分析（SAST）与 linter 工具清单，帮你在自己技术栈里快速找到提升代码质量的检查工具。

静态分析 shell 脚本，提前揪出语法错误、引用不当和可移植性问题，帮你在运行前发现 bash/sh 脚本里的坑。

针对 Solidity 和 Vyper 智能合约的静态分析器，能在部署前自动检测漏洞、代码异味和规范问题，帮审计和开发人员提前排雷。

PHP 静态分析器，宁可漏报也不误报，专注证明代码确实有问题，帮你在运行前发现类型错误和潜在缺陷。

用 Rust 写的静态分析引擎，把源码编译成简洁的组合式程序图，并据此自动生成 14 种 UML 图，帮你看清代码结构。

用类似源码的规则模式做多语言轻量级静态分析，快速找出代码中的缺陷变体，适合在 CI 里做安全与质量扫描。

持续检查代码质量的静态分析平台，能自动扫描多种语言代码，发现 bug、漏洞和坏味道，帮团队在开发阶段就把质量问题拦住。

PHP 静态分析工具，不用运行代码就能扫出类型错误和潜在 bug，适合在 CI 里给 PHP 项目做质量把关。

Python 代码自动补全、静态分析与重构库，通过类型推断为编辑器提供精准的跳转和补全能力。

Python 静态代码分析工具，检查编码规范（PEP 8）、潜在错误和代码异味，帮你在提交前发现问题。

静态扫描 Terraform 等基础设施即代码文件，提前发现云资源配置中的安全风险和合规问题，可接入 CI 流程。

在编译期捕获 Java 常见错误的静态分析工具，把容易写错的代码模式直接变成编译报错，帮团队在提交前就拦住低级 bug。

把 TypeScript 编译器 API 封装成更好用的接口，方便做静态分析和用代码批量修改 TypeScript 源码。

PHP 静态分析工具，通过类型推断和污点分析在运行前发现代码错误与安全漏洞，适合 CI 中做质量门禁。

用 Rust 写的 GitHub Actions 静态分析工具，能提前发现工作流里的安全漏洞和配置问题，避免 CI 被利用。

滴滴开源的 Android 应用构建期优化器，通过 Gradle 插件做静态分析和字节码改写，帮 App 减小包体、提升运行性能。

针对 Ruby on Rails 应用的静态安全扫描器，不用跑起来就能查出代码里的 SQL 注入、XSS 等常见漏洞，适合接入 CI 做安全审计。

用 AI Agent 做逆向工程，从应用行为分析一路深入到原生二进制，覆盖 Android、C++ 等多平台场景。

用 Rust 写成的超快 Python 代码检查与格式化工具，能替代 Flake8、Black 等，大幅缩短 lint 和格式化耗时。

Swift 代码风格检查工具，按预设规则自动扫描并报告不符合规范的写法，帮团队统一 Swift 代码风格。

基于语法树做代码结构化搜索、lint 和批量重写的命令行工具，用 Rust 编写，比正则匹配更精准，适合大规模重构和代码审查。

阿里开源的大规模代码审查工具，用确定性流水线加 LLM Agent 混合架构，精准定位行级问题，内置 NPE、线程安全、XSS、SQL 注入等多语言规则集。

本地优先的代码智能图谱，为 MCP 和 CLI 构建持久化代码库地图，让 AI 编码工具只读取相关部分，显著减少代码审查和大仓库场景的上下文消耗。

自动检测并修复 PHP 代码风格问题的命令行工具，让团队无需手动调整格式就能统一编码规范。

从容器镜像和文件系统生成软件物料清单（SBOM）的 CLI 工具与 Go 库，支持 CycloneDX 和 SPDX 格式，用于摸清镜像里到底装了哪些依赖。

Kotlin 静态代码分析工具，能查代码异味、风格问题和潜在缺陷，支持 Gradle 插件和命令行，适合在 CI 里卡质量。

用 Haskell 写的 Dockerfile 静态检查工具，能校验内联 bash 脚本，帮你在构建前发现镜像定义里的语法和最佳实践问题。

Go 语言的静态安全扫描器，检查源码中的常见安全漏洞和危险写法，可接入 CI 做安全自动化。

扫描容器镜像和文件系统中的软件包，找出已知漏洞并输出 SBOM 与漏洞报告，适合接入 CI 做供应链安全把关。

C/C++ 静态代码分析工具，不用编译就能扫出内存泄漏、越界、未初始化变量等缺陷，适合接入 CI 做代码质量把关。

把各种代码分析工具的输出自动转成 PR 评论，支持 GitHub、GitLab、Bitbucket 等平台，让 lint 和静态检查结果直接出现在代码审查里。

静态扫描容器镜像中的已知漏洞，帮你在部署前发现 Docker/OCI 镜像的安全问题。

静态扫描基础设施即代码、容器镜像和开源包，在构建阶段提前发现云配置错误与安全漏洞，避免上线后出问题。

用 Graphviz 把 Go 程序的函数调用关系画成可视化调用图，方便排查代码结构和依赖。

静态分析 Go 代码，推断变量是否可能为 nil，提前发现潜在的 nil panic 风险。

Ruby 代码异味检测工具，静态分析代码找出重复、过长方法、复杂条件等设计问题，帮你在重构前定位需要改进的地方。

Ruby 代码质量静态分析工具，扫描项目后给出可读性、复杂度、重复代码等评分报告，帮团队定位需要重构的坏味道。