# 静的分析

JEB、JADX、APKTOOL、FlowDroid、MobSFなどのツールを統合したAndroid APKの安全分析自動化スイートです。MCPプロトコルを通じて統一されたAPIインターフェースを提供し、多ツールの相互検証による脆弱性検出を実現します。

アデリンは、Rustで書かれたオープンソースのSolidityスマートコントラクト静的分析ツールで、開発者やセキュリティ研究者がSolidityコードの脆弱性を発見するのを支援します。FoundryとHardhatプロジェクトをサポートし、複数の形式のレポートを生成でき、VSCode拡張機能も提供します。

Clojureコードの静的分析を提供するMCPサービス

SCASTはコードをUMLダイアグラムとフローチャートに変換するプログラミングツールで、複数の言語をサポートし、静的分析と可視化機能を提供します。

Lanalyzerは、Pythonプロジェクト内の潜在的なセキュリティホールを検出するための高度なPython静的汚染分析ツールです。

Gemini CLIに基づくコードレビューMCPサーバー。ローカルのコード差分と静的分析結果を自動収集し、AIアシスタントに構造化されたコードレビュー機能を提供します。

MCPプロトコルに基づくSemgrepサーバーで、静的コード分析とルール管理を開発環境に統合します。