ツール

eliavila10/win32_hash

Windows向けのパスワードハッシュ化および検証ライブラリ。Ada/SPARKで記述され、Windows CNG API（bcrypt）を使用し、GNATproveで証明されています。

maoabc/nmmp

androidのclasses.dexファイルを保護するために使用されるdex-vm

neurosaki987/tvm-recover

Tencent VM の .tvm0 セクションを逆仮想化します。VM ハンドラをゲストレベルのリスティングと LLVM IR にリフトし、CFG とディスパッチを復元し、復元したコードを PE にパッチして戻します。

didierstevens/didierstevenssuite

マルウェア解析、ファイル形式のパース、ハッシュ計算、フォレンジックトリアージ向けのPythonスクリプト集で、PDF、OLE、XOR解析ユーティリティを含みます。

mandiant/goresym

Goバイナリを解析してシンボル、関数メタデータ、型、ファイルパス、埋め込み文字列を復元します。ストリップ済みやUPXでパックされたサンプルにも対応し、IDA Proへのインポートもサポートします。

raj3shp/malscore

Linuxコマンドの悪意度スコアリング

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

hillu/local-log4j-vuln-scanner

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

dnspy/dnspy

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

google/android-classyshark

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

de4dot/de4dot

.NET難読化解除およびアンパッカー。

facebook/pyre-check

Python向けの高性能型チェック。