静的分析

skylot/jadx

AndroidのDexファイルやAPKファイルを読み取り可能なJavaソースコードに逆コンパイルするためのコマンドラインおよびGUIツール。リソースデコード、難読化解除、Smaliデバッグ機能を備えています。

werwolv/imhex

🔍 リバースエンジニア、プログラマー、そして午前3時に作業するときに自分の網膜を大切にする人々のためのヘキサエディタ

radareorg/radare2

UNIX系リバースエンジニアリングフレームワークおよびコマンドラインツールセット

icsharpcode/ilspy

.NET逆コンパイラ - PDB生成、ReadyToRun、メタデータ（その他）に対応 - クロスプラットフォーム！

gitleaks/gitleaks

高速でオープンソースの静的解析ツール。Gitリポジトリ、ファイル、標準入力ストリーム内のパスワード、APIキー、トークンなどのハードコードされたシークレットを、カスタマイズ可能なルールエンジンで検出します。

rizinorg/cutter

rizinを搭載したフリーでオープンソースのリバースエンジニアリングプラットフォーム

facebook/infer

Java、C、C++、Objective-C 用の静的解析ツール

owasp/mastg

OWASPによるモバイルアプリのセキュリティテスト、リバースエンジニアリング、および静的解析、動的解析、暗号解析によるMASVS/MASWEの脆弱性検証のための包括的ガイド。

google/magika

高速かつ正確なAI駆動のファイルコンテンツタイプ検出

trailofbits/skills

Trail of Bits Claude Code スキル: セキュリティ研究、脆弱性検出、および監査ワークフロー向け

anthropics/defending-code-reference-harness

脅威モデリング、スキャン、トリアージ、パッチ適用のスキルに加え、カスタマイズ可能な自律型スキャンハーネス

virustotal/yara

パターンマッチングのスイスアーミーナイフ

z3prover/z3

自動定理証明、制約解決、プログラム検証のための高性能SMTソルバー。形式的解析のための複数の理論と言語バインディングをサポート。

nvidia/skillspector

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and…

vercel-labs/deepsec

大規模コードベース向けのエージェント駆動型脆弱性スキャナー。LLMを用いて、正規表現マッチャーとAI調査により検出が難しいセキュリティ問題を発見します。CI/PR統合と分散実行に対応。

capstone-engine/capstone

20以上のハードウェアアーキテクチャに対応するマルチアーキテクチャ逆アセンブルフレームワークであり、バイナリ解析、リバースエンジニアリング、マルウェア研究向けの軽量でスレッドセーフなAPIを提供します。

anchore/grype

コンテナイメージとファイルシステム向けの脆弱性スキャナ