static-analysis

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

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

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

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

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

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

使用PHP编写的PHP解析器

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

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

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

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

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

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

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

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

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

高性能的Python类型检查

Kotlin静态代码分析工具

GitHub Actions 的静态分析

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

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

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

用于逆向Unity IL2CPP工具链的进行中工具

二进制分析平台