KRAKEN

Разберите программу на части и поймите её — с помощником под рукой. KRAKEN — это открытая среда для обратной разработки, построенная на декомпиляторе Ghidra, с нативным движком без Java и опциональным полным движком Ghidra. Вы, ваши скрипты и ИИ-агенты работают над одним и тем же проектом через единый набор команд, и каждое изменение логируется, атрибутируется и может быть отменено. Вам не нужно знать обратную разработку, чтобы начать: приложение объясняет термины по ходу дела, а руководство проведёт вас через первую сессию. Долгосрочная цель — переписывание бинарников на Rust, функция за функцией, с проверкой по оригиналу.

Реальный проект на нативном движке: stripped_calc-O2-stripped из этого репозитория после того, как несколько функций были переименованы.

Что он делает

Анализ

• Находит функции и декомпилирует их в C-подобный код с помощью декомпилятора Ghidra: через нативный движок (без Java; ELF и Windows PE, x86 и x86-64) или опциональный движок Ghidra (ELF, PE и Mach-O, множество процессоров).
• Листинг, hex, граф потока управления, перекрёстные ссылки, строки, импорты и экспорты, карта памяти.
• Переименование функций, задание типов и комментариев. Поиск, фильтрация и переход между представлениями.

Патчинг

• Изменение байтов программы: введите новую инструкцию, и KRAKEN соберёт её, или отредактируйте декомпилированный C и позвольте ассистенту вычислить минимальное изменение машинного кода.
• Запустите оригинальную и пропатченную программу бок о бок в песочнице-эмуляторе до того, как что-либо будет записано, затем экспортируйте пропатченную копию. Исходный файл никогда не затрагивается.
• Каждый патч — это изменение в истории, поэтому патчи ассистента можно просматривать и отменять, как и любые другие.

ИИ

• Встроенный ассистент: объяснение функции, пошаговый первый взгляд на программу, предложения по именованию, которые вы проверяете до внесения изменений, и офлайн-глоссарий.
• Работает с моделью на вашем компьютере (Ollama, LM Studio, llama.cpp или моделью, которую KRAKEN запускает для вас) или с облачным провайдером.
• Терминальные агенты (Claude Code, Codex, Gemini CLI) могут работать внутри приложения или подключаться извне через MCP.

Автоматизация

• Единый реестр команд управляет CLI, MCP-сервером, GUI и агентами, поэтому они не могут разойтись.
• Вывод --json для скриптов, модуль Python и фоновый демон, который держит проекты «тёплыми».
• Каждое изменение фиксируется в журнале с указанием автора, с отменой по отдельному изменению и по запуску агента.

Переписывание

• Переводите одну функцию за раз на Rust, запускайте оригинал под эмуляцией и Rust-версию бок о бок и находите минимальный вход, на котором они расходятся.
• Планируйте порядок (сначала вызываемые функции), принимайте проверенные функции самостоятельно, экспортируйте Cargo workspace.

Статус

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 установите kraken-workbench-bin из AUR. Архивы для 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)

Документация

Начните с руководства: ваша первая сессия обратной разработки.

• Установка и Начало работы (терминал)
• Концепции для новичков в обратной разработке
• Встроенный ассистент (ИИ-модель или терминальный агент, такой как Claude Code) и локальные модели на этом компьютере
• Подключение ИИ-агентов (MCP)
• Скриптинг с помощью CLI и Python
• Безопасность
• Справочник команд
• Проектные решения

Соберите книгу с помощью mdbook build docs. Справочник команд генерируется: запустите cargo xtask docs после изменения команды.

Модель безопасности