KRAKEN

Desmonta un programa y comprenderlo, con una ayuda extra. KRAKEN es un banco de trabajo de ingeniería inversa de código abierto construido sobre el descompilador de Ghidra, con un motor nativo sin Java y un motor Ghidra completo opcional. Tú, tus scripts y los agentes de IA trabajáis todos sobre el mismo proyecto mediante un único conjunto de comandos, y cada edición queda registrada, atribuida y se puede deshacer. No necesitas saber ingeniería inversa para empezar: la aplicación explica los términos sobre la marcha y el tutorial te guía en una primera sesión. El objetivo a largo plazo es reescribir binarios en Rust, función a función, verificándolos contra el original.

Un proyecto real con el motor nativo: stripped_calc-O2-stripped de este repositorio, tras nombrar algunas funciones.

Qué hace

Analizar

• Encuentra funciones y las descompila a código similar a C con el descompilador de Ghidra: mediante el motor nativo (sin Java; ELF y Windows PE, x86 y x86-64) o el motor Ghidra opcional (ELF, PE y Mach-O, muchos procesadores).
• Listado, hex, grafo de flujo de control, referencias cruzadas, cadenas, importaciones y exportaciones, mapa de memoria.
• Renombrar funciones, definir tipos y comentarios. Buscar, filtrar y saltar entre vistas.

Parchear

• Cambia los bytes de un programa: escribe una nueva instrucción y KRAKEN la ensambla, o edita el C descompilado y deja que el asistente calcule el cambio de código máquina más pequeño.
• Ejecuta el programa original y el parcheado en paralelo en un emulador aislado antes de escribir nada, y luego exporta una copia parcheada. El archivo original nunca se toca.
• Cada parche es una edición en el historial, así que los parches de un asistente se pueden revisar y deshacer como cualquier otra cosa.

IA

• Asistente integrado: explica una función, una primera mirada guiada a un programa, sugerencias de nombres que revisas antes de que cambie nada, y un glosario sin conexión.
• Funciona con un modelo en tu ordenador (Ollama, LM Studio, llama.cpp, o uno que KRAKEN ejecute por ti) o con un proveedor en la nube.
• Los agentes de terminal (Claude Code, Codex, Gemini CLI) pueden ejecutarse dentro de la aplicación o conectarse desde fuera mediante MCP.

Automatizar

• Un único registro de comandos impulsa la CLI, el servidor MCP, la GUI y los agentes, de modo que no pueden divergir.
• Salida --json para scripts, un módulo de Python y un demonio en segundo plano que mantiene los proyectos calientes.
• Cada edición está en un registro con su autor, con deshacer por cambio y por ejecución de agente.

Reescribir

• Traduce una función a la vez a Rust, ejecuta el original bajo emulación y el lado Rust en paralelo, y observa la entrada más pequeña en la que discrepan.
• Planifica el orden (primero las funciones llamadas), acepta tú mismo las funciones verificadas, exporta un espacio de trabajo de Cargo.

Estado

KRAKEN está en pre-alpha (0.1a). Espera asperezas y cambios que rompan la compatibilidad.

	Linux x86_64	macOS (Apple silicon)	Windows x86_64
CLI, servidor MCP, GUI	Funciona	Compila, experimental	Compila, experimental
Motor nativo, sin Java (kraken setup --native)	Funciona (ELF y PE)	Aún no	Aún no
Análisis con Ghidra (kraken setup)	Funciona	Aún no	Aún no
Sandbox alrededor de Ghidra	Landlock	Aún no	Aún no
Modelos locales	Funciona	Compila	Compila
Pipeline de reescritura	Funciona (necesita Landlock y un modelo)	Se niega a ejecutarse	Se niega a ejecutarse

"Compila" significa que el código se compila y se verifica en CI, no que todo el producto se haya probado allí. Linux es la plataforma que hay que usar hoy.

Instalación

Linux x86_64 (no se necesita Java: el motor nativo y sus archivos de procesador están en la release):

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

El script verifica la descarga contra el archivo SHA256SUMS de la versión, no necesita sudo y se instala en ~/.local. O bien toma el AppImage de la última versión (chmod +x KRAKEN-*.AppImage, luego ejecútalo; ./KRAKEN-*.AppImage kraken --help ejecuta la línea de comandos), o en Arch Linux instala kraken-workbench-bin desde el AUR. Los archivos de Windows y macOS también están en la página de versiones, y son experimentales (ver Estado). Instalar tiene los detalles y la compilación desde el código fuente.

Inicio rápido

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

Los proyectos nuevos usan el motor nativo cuando puede abrir el archivo; de lo contrario, usan el motor opcional Ghidra (Mach-O, otros procesadores, información de depuración de Windows), que kraken setup descarga junto con un JDK en el primer uso. La página del motor nativo compara ambos. Los programas de práctica en corpus/bin/ son un buen punto de partida, y el tutorial guía a través de una primera sesión.

Conecta un agente: claude mcp add kraken -- kraken mcp --project ~/kraken-projects/ls.

Desde el código fuente

Necesitas Rust y un compilador de 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)

Documentación

Comienza con el tutorial: tu primera sesión de ingeniería inversa.

• Instalación y Primeros pasos (terminal)
• Conceptos para recién llegados a la ingeniería inversa
• El asistente integrado (un modelo de IA o un agente de terminal como Claude Code) y modelos locales en este equipo
• Conexión de agentes de IA (MCP)
• Scripting con la CLI y Python
• Seguridad
• Referencia de comandos
• Decisiones de diseño

Compila el libro con mdbook build docs. La referencia de comandos se genera: ejecuta cargo xtask docs después de cambiar un comando.