# 静态分析

Lanalyzer是一个高级Python静态污点分析工具，用于检测Python项目中的潜在安全漏洞。

一个提供Clojure代码静态分析的MCP服务

一个通过multilspy提供语言服务器协议(LSP)功能的MCP服务器

Semgrep MCP Server是一个基于Model Context Protocol (MCP)的服务器，用于通过Semgrep扫描代码中的安全漏洞，支持多种集成方式和工具。

Android APK安全分析自动化套件，集成JEB、JADX、APKTOOL、FlowDroid、MobSF等工具，通过MCP协议提供统一API接口，实现多工具交叉验证的漏洞检测

Aderyn是一个开源的Solidity智能合约静态分析工具，由Rust编写，帮助开发者和安全研究人员发现Solidity代码中的漏洞。它支持Foundry和Hardhat项目，可生成多种格式报告，并提供VSCode扩展。

SCAST是一个将代码转换为UML图和流程图的编程工具，支持多种语言，提供静态分析和可视化功能。

PHPocalypse-MCP是一个为PHP开发者设计的MCP服务器，旨在简化测试和静态分析的运行流程，支持通过配置文件自定义工具命令。

基于Joern的静态代码分析MCP服务器，支持多语言代码分析、GitHub仓库直接分析和Docker隔离会话，提供代码浏览、安全漏洞检测和自定义查询功能

基于Gemini CLI的代码审查MCP服务器，通过自动化收集本地代码差异和静态分析结果，为AI助手提供结构化代码审查功能

一个基于MCP协议的Semgrep服务器，用于集成静态代码分析和规则管理到开发环境。

PHPocalypse-MCP是一个为PHP开发者设计的MCP服务器，旨在简化测试和静态分析流程。