KRAKEN

Démontez un programme et comprenez-le, avec un coup de pouce. KRAKEN est un atelier de rétro-ingénierie open source construit sur le décompilateur de Ghidra, avec un moteur natif sans Java et un moteur Ghidra complet en option. Vous, vos scripts et vos agents IA travaillez tous sur le même projet via un ensemble unique de commandes, et chaque modification est journalisée, attribuée et annulable. Vous n'avez pas besoin de connaître la rétro-ingénierie pour commencer : l'application explique les termes au fil de votre progression et le tutoriel vous guide à travers une première session. L'objectif à long terme est la réécriture en Rust des binaires, fonction par fonction, vérifiée par rapport à l'original.

Un vrai projet du moteur natif : stripped_calc-O2-stripped issu de ce dépôt, après que quelques fonctions ont été nommées.

Ce qu'il fait

Analyser

• Trouve les fonctions et les décompile en code de type C avec le décompilateur de Ghidra : via le moteur natif (sans Java ; ELF et Windows PE, x86 et x86-64) ou le moteur Ghidra en option (ELF, PE et Mach-O, de nombreux processeurs).
• Listing, hexadécimal, graphe de flux de contrôle, références croisées, chaînes, imports et exports, carte mémoire.
• Renommer les fonctions, définir les types et les commentaires. Rechercher, filtrer et naviguer entre les vues.

Patcher

• Modifier les octets d'un programme : saisissez une nouvelle instruction et KRAKEN l'assemble, ou modifiez le C décompilé et laissez l'assistant déterminer la plus petite modification du code machine.
• Exécutez le programme original et le programme patché côte à côte dans un émulateur sandboxé avant que quoi que ce soit ne soit écrit, puis exportez une copie patchée. Le fichier original n'est jamais touché.
• Chaque patch est une modification dans l'historique, de sorte que les patches d'un assistant peuvent être révisés et annulés comme n'importe quoi d'autre.

IA

• Assistant intégré : expliquer une fonction, un premier coup d'œil guidé sur un programme, des suggestions de noms que vous révisez avant toute modification, et un glossaire hors ligne.
• Fonctionne avec un modèle sur votre ordinateur (Ollama, LM Studio, llama.cpp, ou un modèle que KRAKEN exécute pour vous) ou un fournisseur cloud.
• Les agents de terminal (Claude Code, Codex, Gemini CLI) peuvent s'exécuter dans l'application ou se connecter depuis l'extérieur via MCP.

Automatiser

• Un registre de commandes unique pilote la CLI, le serveur MCP, l'interface graphique et les agents, de sorte qu'ils ne peuvent pas diverger.
• Sortie --json pour les scripts, un module Python, et un démon en arrière-plan qui garde les projets chauds.
• Chaque modification est dans un journal avec son auteur, avec annulation par modification et par exécution d'agent.

Réécrire

• Traduisez une fonction à la fois en Rust, exécutez l'original sous émulation et la version Rust côte à côte, et voyez la plus petite entrée où ils divergent.
• Planifiez l'ordre (les appelés d'abord), acceptez vous-même les fonctions vérifiées, exportez un espace de travail Cargo.

État

KRAKEN est en pré-alpha (0.1a). Attendez-vous à des aspérités et à des changements cassants.

	Linux x86_64	macOS (Apple silicon)	Windows x86_64
CLI, serveur MCP, interface graphique	Fonctionne	Compile, expérimental	Compile, expérimental
Moteur natif, sans Java (kraken setup --native)	Fonctionne (ELF et PE)	Pas encore	Pas encore
Analyse avec Ghidra (kraken setup)	Fonctionne	Pas encore	Pas encore
Sandbox autour de Ghidra	Landlock	Pas encore	Pas encore
Modèles locaux	Fonctionne	Compile	Compile
Pipeline de réécriture	Fonctionne (nécessite Landlock et un modèle)	Refuse de s'exécuter	Refuse de s'exécuter

« Compile » signifie que le code se compile et est vérifié en CI, pas que le produit entier a été prouvé sur cette plateforme. Linux est la plateforme à utiliser aujourd'hui.

Installation

Linux x86_64 (sans Java : le moteur natif et ses fichiers de processeur sont dans la release) :

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

Le script vérifie le téléchargement par rapport au fichier SHA256SUMS de la version, ne nécessite pas sudo et s'installe dans ~/.local. Ou prenez l'AppImage de la dernière version (chmod +x KRAKEN-*.AppImage, puis exécutez-le ; ./KRAKEN-*.AppImage kraken --help lance la ligne de commande), ou sur Arch Linux installez kraken-workbench-bin depuis l'AUR. Les archives Windows et macOS sont également disponibles sur la page des versions, et sont expérimentales (voir Status). Install contient les détails et la compilation depuis les sources.

Démarrage rapide

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

Les nouveaux projets utilisent le moteur natif lorsqu'il peut ouvrir le fichier, sinon le moteur Ghidra optionnel (Mach-O, autres processeurs, informations de débogage Windows), que kraken setup télécharge avec un JDK lors de la première utilisation. La page du moteur natif compare les deux. Les programmes d'exercice dans corpus/bin/ constituent un bon point de départ, et le tutoriel guide à travers une première session.

Connecter un agent : claude mcp add kraken -- kraken mcp --project ~/kraken-projects/ls.

Depuis les sources

Vous avez besoin de Rust et d'un compilateur 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)

Documentation

Commencez par le tutoriel : votre première session de rétro-ingénierie.