static-analysis

使用代理对任何内容进行逆向工程，从应用程序行为到本机二进制文件。

🔍 专为逆向工程师、程序员及深夜加班护眼人士设计的十六进制编辑器

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

ShellCheck：用于Shell脚本的静态分析工具

面向Claude Code的本地知识图谱。构建代码库的持久化映射，使Claude仅读取关键内容——代码审查时减少6.8倍的令牌消耗，日常编码任务中最高可减少49倍。

移动安全框架（MobSF）是一款自动化的一体化移动应用（Android/iOS/Windows）渗透测试、恶意软件分析和安全评估框架，能够执行静态和动态分析

一个用于强制执行 Swift 代码风格与规范的工具。

使用PHP编写的PHP解析器

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

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

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

一款Java 8+ Jar与Android APK逆向工程套件（反编译器、编辑器、调试器及更多功能）

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

一款自动修复PHP编码规范问题的工具

面向容器镜像与文件系统的漏洞扫描工具

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

用于从容器镜像和文件系统生成软件物料清单的命令行工具与库

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

适用于人工智能和人类的代码库智能：代码健康评分、自动生成的文档、git 分析、死代码检测以及通过 MCP 进行的架构决策。

高性能的Python类型检查

Kotlin静态代码分析工具

GitHub Actions 的静态分析

Ghidra MCP 服务器 — 面向人工智能驱动的逆向工程的 200 多个 MCP 工具。包含 GUI 插件与无头服务器、惰性工具加载、约定强制执行、批量操作、Ghidra 服务器集成以及 Docker 部署。

一款用于发现PHP应用程序错误与安全漏洞的静态分析工具