Reconstruction du code source de Rats! avec des LLM locaux

Ce dépôt est une reconstruction en cours du code source de RATS.EXE, la version Windows d'origine de Rats! (1994) de Sean O'Connor. Il compile un exécutable Win32 avec Microsoft Visual C++ 4.1 sous wibo et peut être testé dans DREAMM.

L'expérience explore jusqu'où les LLM locaux peuvent mener la reconstruction de code source sur une base de code petite mais réaliste, plutôt qu'un exemple jouet. La fidélité de correspondance reste inégale, ce qui est utile ici : l'objectif est de présenter une vision réaliste du processus et de ses limites actuelles, et non de masquer les fonctions difficiles.

La reconstruction des fonctions est réservée aux LLM locaux. Codex et Claude sont utilisés pour la configuration du dépôt et l'orchestration des benchmarks, mais ils ne sont pas autorisés à écrire ni à modifier le code source reconstruit.

Sauf mention contraire, toutes les expériences ont utilisé Qwen3.8 27B BF16 sur un MacBook Pro 2024 avec une puce Apple M4 Max (CPU 16 cœurs, GPU 40 cœurs) et 128 Go de mémoire. L'approche fonctionne — imparfaitement, mais utilement : les 36 fonctions conservées ont chacune pris en moyenne 2m 32.1s de temps journalisé pour être reconstruites.

Mise en place

Clonez avec les sous-modules, ou initialisez-les après le clonage :

git submodule update --init --recursive

L'exécutable d'origine n'est pas inclus. Téléchargez la version Windows gratuite depuis la page officielle de Rats! et placez son RATS.EXE à la racine du dépôt pour utiliser les cibles original-executable et binary-comparison.

Commandes courantes

make                 # build out/RATS_RE.EXE, .map, .obj, and .asm
make toolchain       # download, extract, and verify Microsoft Visual C++ 4.1
make run             # launch the rebuilt executable in DREAMM
make run-original    # launch the preserved original RATS.EXE
make test            # bounded DREAMM smoke test of the rebuilt executable
make test-original   # bounded DREAMM smoke test of the original executable
make debug           # start the rebuilt executable in DREAMM's debugger
make report          # report similarity for every reconstructed function
make compare-func FUNC=SaveHighScores ADDR=00409092

L'archive MSVC 4.1 dont la somme de contrôle est épinglée, les bibliothèques MSVC 4.1 requises, la msvcrt40.dll compatible de wibo et DREAMM 4.0x21 sont téléchargés à la demande. Ils restent des dépendances de build locales ignorées et ne sont pas commités.

Workflow de reconstruction

Le répertoire ghidra/ inclus dans le dépôt contient les exportations assembleur et décompilateur pour les 177 fonctions internes. L'assembleur fait autorité pour la comparaison ; le C décompilé n'est qu'une graine sémantique.

Installez binary-recons une fois, puis exécutez-le depuis la racine du dépôt :

python3 -m pip install -e /path/to/binary-recons
binary-recons --next-function           # reconstruct the next safe missing target
binary-recons --address 0x409092        # reconstruct or improve a specific target

L'outil détecte Qwen automatiquement dans le cache Hugging Face standard ; BINARY_RECONS_MODEL_PATH peut le remplacer. binary-recons.toml maintient la sélection automatique dans les plages de code du jeu, démarre et arrête llama.cpp, et définit les fichiers transactionnels et la commande binary-comp. Chaque exécution bornée amorce une fonction depuis Ghidra, demande à Qwen des réparations ciblées de compilation ou de diff assembleur, et conserve le meilleur candidat compilable sûr. Utilisez --target-score 95 pour une passe plus approfondie, ou --dry-run-prompt pour inspecter le prompt sans charger Qwen.

Les exécutions mesurées des modèles locaux sont consignées dans docs/MODEL_RESULTS.md.

Remerciements

Remerciements particuliers à :

• Sean O'Connor pour avoir créé Rats! et continuer à rendre disponible sa version Windows d'origine depuis la page officielle du jeu.