KRAKEN

プログラムを分解して理解する、その手助けをしながら。 KRAKEN は Ghidra のデコンパイラを基盤としたオープンソースのリバースエンジニアリング・ワークベンチで、Java 不要のネイティブエンジンと、オプションの完全な Ghidra エンジンを備えています。あなた自身、あなたのスクリプト、そして AI エージェントが、単一のコマンドセットを通じて同じプロジェクト上で作業し、すべての編集は記録され、誰によるものかが紐付けられ、取り消し可能です。始めるのにリバースエンジニアリングの知識は必要ありません。アプリは用語をその場で説明し、チュートリアルが最初のセッションを案内します。長期的な目標は、バイナリを関数ごとに Rust へ書き換え、元のコードと照合することです。

KRAKEN でストリップされたプログラムを開いたところ: 関数リスト、デコンパイラ、16進、リスティング、クロスリファレンス

実際のネイティブエンジンのプロジェクト: このリポジトリの stripped_calc-O2-stripped で、いくつかの関数に名前を付けた後の状態。

できること

解析

Ghidra のデコンパイラを使って関数を検出し、C ライクなコードへデコンパイルします: ネイティブエンジン（Java 不要、ELF と Windows PE、x86 と x86-64）またはオプションの Ghidra エンジン（ELF、PE、Mach-O、多数のプロセッサ）経由で。
リスティング、16進、制御フローグラフ、クロスリファレンス、文字列、インポートとエクスポート、メモリマップ。
関数の名前変更、型とコメントの設定。検索、フィルタ、ビュー間のジャンプ。

パッチ

プログラムのバイト列を変更: 新しい命令を入力すれば KRAKEN がアセンブルし、あるいはデコンパイルされた C を編集すればアシスタントが最小のマシンコード変更を導き出します。
何かを書き込む前に、元のプログラムとパッチ済みプログラムをサンドボックス化されたエミュレータで並べて実行し、その後パッチ済みのコピーをエクスポートします。元のファイルは決して変更されません。
すべてのパッチは履歴上の編集であるため、アシスタントによるパッチも他の編集と同様にレビューし、取り消すことができます。

内蔵アシスタント: 関数の説明、プログラムへのガイド付きの初見、何かが変更される前にあなたがレビューする名前候補の提案、オフラインの用語集。
お使いのコンピュータ上のモデル（Ollama、LM Studio、llama.cpp、または KRAKEN が代わりに実行するもの）あるいはクラウドプロバイダーと連携します。
ターミナルエージェント（Claude Code、Codex、Gemini CLI）はアプリ内で実行するか、MCP 経由で外部から接続できます。

自動化

単一のコマンドレジストリが CLI、MCP サーバー、GUI、エージェントを駆動するため、それらが食い違うことはありません。
スクリプト向けの --json 出力、Python モジュール、プロジェクトをウォームに保つバックグラウンドデーモン。
すべての編集はその作者とともにログに記録され、変更単位およびエージェント実行単位での取り消しが可能です。

書き換え

一度に一つの関数を Rust へ翻訳し、元のコードをエミュレーション下で、Rust 側を並べて実行し、両者が食い違う最小の入力を見つけます。
順序を計画し（呼び出し先を先に）、検証済みの関数をあなた自身が承認し、Cargo ワークスペースをエクスポートします。

ステータス

KRAKEN は pre-alpha（0.1a）です。荒削りな部分や破壊的変更があることを想定してください。

	Linux x86_64	macOS（Apple silicon）	Windows x86_64
CLI、MCP サーバー、GUI	動作	ビルド可、実験的	ビルド可、実験的
ネイティブエンジン、Java 不要（`kraken setup --native`）	動作（ELF と PE）	未対応	未対応
Ghidra による解析（`kraken setup`）	動作	未対応	未対応
Ghidra を囲むサンドボックス	Landlock	未対応	未対応
ローカルモデル	動作	ビルド可	ビルド可
書き換えパイプライン	動作（Landlock とモデルが必要）	実行を拒否	実行を拒否

「ビルド可」とはコードがコンパイルされ CI でチェックされるという意味であり、製品全体がそこで実証済みという意味ではありません。現時点で使用すべきプラットフォームは Linux です。

インストール

Linux x86_64（Java 不要: ネイティブエンジンとそのプロセッサファイルはリリースに含まれています）:

curl --proto '=https' --tlsv1.2 -fsSL https://raw.githubusercontent.com/Adam-AtlasSoftware/kraken/main/scripts/install.sh | bash

スクリプトはダウンロードしたファイルをリリースの SHA256SUMS と照合し、sudo を必要とせず ~/.local にインストールします。または最新リリースから AppImage を取得するか（chmod +x KRAKEN-*.AppImage を実行してから起動します。./KRAKEN-*.AppImage kraken --help でコマンドラインを実行できます）、Arch Linux では AUR から kraken-workbench-bin をインストールしてください。Windows および macOS 向けのアーカイブもリリースページにありますが、これらは実験的なものです（ステータスを参照）。詳細およびソースからのビルドについてはインストールを参照してください。

クイックスタート

kraken project-create --binary /usr/bin/ls --project ~/kraken-projects/ls
kraken analyze --project ~/kraken-projects/ls
kraken list-functions --project ~/kraken-projects/ls --limit 20
kraken-gui                             # or open the app and pick the project

新しいプロジェクトでは、ネイティブエンジンがファイルを開ける場合はそれを使用し、そうでない場合はオプションのGhidraエンジン（Mach-O、その他のプロセッサ、Windowsデバッグ情報）を使用します。このエンジンはkraken setupが初回使用時にJDKとともにダウンロードします。ネイティブエンジンのページでは両者を比較しています。corpus/bin/にある練習用プログラムは良い出発点であり、チュートリアルでは最初のセッションを順を追って説明しています。

エージェントを接続する: claude mcp add kraken -- kraken mcp --project ~/kraken-projects/ls。

ソースから

RustとC++コンパイラが必要です:

git clone https://github.com/Adam-AtlasSoftware/kraken && cd kraken
cargo build --release -p kraken-cli -p krakend -p kraken-gui -p engine-native -p kraken-emu
export PATH="$PWD/target/release:$PATH"
kraken setup --native                  # once: fetches the pinned sources, compiles the Sleigh files (about a minute)

ドキュメント

まず チュートリアル: 最初のリバースエンジニアリングセッション から始めてください。

インストールとはじめに (ターミナル)
リバースエンジニアリング初心者向けの概念
組み込みアシスタント (AI モデル、または Claude Code などのターミナルエージェント) とこのコンピューター上のローカルモデル
AI エージェントの接続 (MCP)
CLI によるスクリプティングと Python
セキュリティ
コマンドリファレンス
設計上の決定

mdbook build docs で書籍をビルドします。コマンドリファレンスは生成されるものです。コマンドを変更した後は cargo xtask docs を実行してください。

安全モデル

解析するバイナリは信頼できないものです。Ghidra とネイティブエンジンのデコンパイラはそれぞれ別プロセスで実行され、Linux では Landlock によって隔離されます。ネットワークアクセスはなく、書き込みは使い捨てのホームディレクトリとプロジェクトフォルダーのみに限定され、環境変数もクリーンアップされます。KRAKEN が開いたプログラムを実行するのは、プログラム全体の書き換えを要求したときだけであり、その場合も他の処理と同様に隔離され、かつあなたに確認した後で実行されます。ファイルに由来するすべてのもの (名前、文字列、コメント、デコンパイルされたテキスト) は、明確にマークされた信頼できないデータとしてのみ AI モデルに渡され、命令として渡されることは決してありません。エージェントによる書き込みは追加または提案です。エージェントはまだ FUN_... と呼ばれているものに名前を追加したり、コメントを追加したりできますが、それは実行ごとの上限の範囲内であり、あなたの作業を上書きするようなものはあなたが承認するまで待機します。モデルが書き換えパイプライン用に書いたコードはサンドボックス内でのみビルドおよび実行され、承認できるのはあなただけです。詳細はセキュリティを参照してください。

ライセンス

GPL-3.0-or-later。詳細は LICENSE を参照してください。サードパーティの通知は THIRD-PARTY-NOTICES.md にあります。

KRAKEN は、解析が許可されているソフトウェアに対してのみ使用してください。

kraken

人気