ツール

firelock-ai/kin

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

radareorg/radare2

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

hydradragonantivirus/hydradragonantivirus

動的解析と静的解析、Windows向けアンチウイルスによるリアルタイムマルウェア解析。オープンソースXDR（3つのEDRプロジェクト）、ClamAV、YARA-X、機械学習AI、行動分析、アンパッカー、難読化解除、デコンパイラ、ウェブサイトシグネチャ、Ghidra、Suricata、Sigma、カー…

bridgecrewio/checkov

ビルド時にTerraform、Kubernetes、CloudFormation、コンテナイメージ全体でクラウドの誤設定、脆弱性、シークレットを検出するインフラストラクチャ・アズ・コード向けの静的解析ツール。

loadingalias/rscrypto

デフォルト依存関係ゼロのRust暗号: BLAKE3、Ed25519/X25519、ハッシュ、MAC、KDF、AEAD、チェックサムを完全なSIMD/ASMアクセラレーションで提供

trailofbits/skills

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

seqra/opentaint

形式的手続き間汚染解析エンジン。アプリケーションセキュリティにおいて、関数境界、永続化レイヤー、非同期コードをまたいで信頼できないデータを追跡します。決定論的ルールリプレイによりAIエージェント対応。Semgrep Pro と CodeQL のオープンソース代替。

b2r2-org/b2r2

B2R2はF#で書かれたフルマネージドなバイナリ解析フレームワークです。リバースエンジニアリング、プログラム解析、バイナリレベルの検査のための豊富なアルゴリズム、関数、ツールを提供します。

rehints/efixplorer

UEFIファームウェア解析とリバースエンジニアリング自動化のためのIDAプラグインおよびローダー

z3prover/z3

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

pmd/pmd

拡張可能な多言語静的コード解析ツール。

werwolv/imhex

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

a1ext/auto_re

IDA PRO 自動リネームプラグイン（タグ付けサポート付き）

angr/angr

パワフルでユーザーフレンドリーなバイナリ解析プラットフォーム！

owasp/appsec-agent

フロンティアモデル上に構築された、アプリケーションセキュリティ（AppSec）タスク向けのAI搭載エージェントを提供するTypeScriptパッケージ。

bronils/aotopsy

Flutter/Dart AOTスナップショット用の静的アナライザー — Dart VMを埋め込んだり実行したりせずに、libapp.soから関数名、クラス階層、コールグラフ、および挙動シグナルを復元します。ARM64およびx86_64、Dart 2.10–3.12をサポート。

mandiant/flare-floss

FLARE Obfuscated String Solver - マルウェアから難読化された文字列を自動的に抽出します。

skylot/jadx

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