静的分析

blackvectorops/semantic_firewall

Go関数の決定論的セマンティックフィンガープリントを生成します。SSA（静的単一割り当て）解析とスカラー進化解析を用いて、xzスタイルのバックドアを検出し、セマンティック等価性を検証します。

happytotoro116/ghidra-llm-pipeline

C再実装のための決定論的PyGhidra抽出、トリアージ、ローカルLLMコンパイラバックエンドパイプライン。

edtrackai/nextjs-supabase-stripe-security-checker

Next.js、Supabase、Stripeアプリ向けのローカル静的セキュリティスキャナー：キー漏洩、RLSと権限付与の欠落、安全でないWebhookを検出する24のASTベースチェック。CLIとGitHub Action。

jaime64net/debuggerj-

x86およびx64アプリケーション向けのAI統合デバッガー

nemo22/retrokit

32ビットDOSおよびWin32ゲーム（1993-2010）のリバースエンジニアリング向けHeadless-Ghidraツールキット：独自のLE/LXローダー、Watcom呼び出し規約、ライブラリシグネチャ、MCPサーバー

gmh5225/malicious-code-detection-bugu

AIベースの悪意あるコード検出および難読化システム。検出、パッキング、コード難読化のためのマイクロサービスに加え、ユーザーサービスと管理者サービスを備えています。

maximilianfeix/hexvero

バイナリまたはアプリバンドルの第一印象: エビデンスに基づく静的・非実行解析。CLI、15ツールのMCPサーバー、ローカルWeb UI、Nodeのみ。

affolter-engineering/xssearch

RustベースのXSSスキャナー。コンテキストを考慮したペイロード選択、WAF検出とバイパス、クローリング、ブラインドXSSコールバック、静的DOMシンク分析を備えています。

abraxas/spark-history-store-path

Apache Spark 4.2.0 - 高 - リモート - ファイル書き込み - History appStorePath の App ID がサニタイズされていない

gach0ng/agentstalker

LLMエージェント向けのエンドツーエンドセキュリティ監査フレームワーク：静的ASTとテイントモデリング、攻撃合成、Dockerサンドボックスリプレイ、およびMCP監査を伴う決定論的判定レポート。

oscarsantanaarias/ida-ghidra-bridge

IDA ProおよびGhidra用のTCP JSONブリッジサーバーで、デコンパイル、クロスリファレンス、シンボル、vtable、RTTI、メモリパッチングを外部スクリプトや自動化パイプラインに公開します。

ambitsecurity/jshound

Webアプリが送信するJavaScriptから、すべてのAPIリクエストを見つけ出します。メソッド、URL、ボディ、ヘッダー、GraphQLオペレーション。コマンド1つで。

abraxas/sqlite-fts5-securedel

SQLite 3.53.4 - 高 - ローカル - クラッシュ - FTS5 secure-delete PutVarint フッターオーバーラン

hillu/local-log4j-vuln-scanner

[Moved to Codeberg] 脆弱なlog4jインスタンスを検出するシンプルなローカルスキャナー

dnspy/dnspy

.NET デバッガーおよびアセンブリエディター

google/android-classyshark

AndroidおよびJavaバイトコードビューア