Rats! Quellcode-Rekonstruktion mit lokalen LLMs

Dieses Repository ist eine in Arbeit befindliche Rekonstruktion des Quellcodes für RATS.EXE, die ursprüngliche Windows-Version von Rats! (1994) von Sean O'Connor. Es erstellt eine Win32-Programmdatei mit Microsoft Visual C++ 4.1 unter wibo und kann in DREAMM getestet werden.

Das Experiment untersucht, wie weit lokale LLMs die Quellcode-Rekonstruktion an einer kleinen, aber realistischen Codebasis statt an einem Spielzeugbeispiel vorantreiben können. Die Übereinstimmungstreue bleibt uneinheitlich, was hier nützlich ist: Ziel ist es, eine realistische Sicht auf den Prozess und seine aktuellen Grenzen zu vermitteln, nicht schwierige Funktionen zu verstecken.

Die Funktionsrekonstruktion ist auf lokale LLMs beschränkt. Codex und Claude werden für die Repository-Einrichtung und die Benchmark-Orchestrierung verwendet, dürfen den rekonstruierten Quellcode jedoch nicht schreiben oder bearbeiten.

Sofern nicht anders angegeben, wurden alle Experimente mit Qwen3.8 27B BF16 auf einem MacBook Pro von 2024 mit Apple M4 Max (16-Kern-CPU, 40-Kern-GPU) und 128 GB Arbeitsspeicher durchgeführt. Der Ansatz funktioniert – unvollkommen, aber nützlich: Die 36 beibehaltenen Funktionen benötigten eine durchschnittliche protokollierte Zeit von 2m 32.1s pro Funktion zur Rekonstruktion.

Setup

Mit Submodulen klonen oder diese nach dem Klonen initialisieren:

git submodule update --init --recursive

Die ursprüngliche Programmdatei ist nicht enthalten. Laden Sie die kostenlose Windows-Version von der offiziellen Rats!-Seite herunter und legen Sie deren RATS.EXE im Repository-Stammverzeichnis ab, um die Ziele original-executable und binary-comparison zu verwenden.

Häufige Befehle

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

Das per Prüfsumme fixierte MSVC-4.1-Archiv, die erforderlichen MSVC-4.1-Bibliotheken, wibos kompatible msvcrt40.dll und DREAMM 4.0x21 werden bei Bedarf heruntergeladen. Sie bleiben ignorierte lokale Build-Abhängigkeiten und werden nicht committet.

Rekonstruktions-Workflow

Das eingecheckte Verzeichnis ghidra/ enthält Assembly- und Decompiler-Exporte für alle 177 internen Funktionen. Assembly ist die maßgebliche Vergleichsinstanz; dekompilierter C-Code ist nur ein semantischer Seed.

Installieren Sie binary-recons einmal und führen Sie es dann aus dem Repository-Stammverzeichnis aus:

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

Das Tool findet Qwen automatisch im Standard-Hugging-Face-Cache; BINARY_RECONS_MODEL_PATH kann dies überschreiben. binary-recons.toml hält die automatische Auswahl innerhalb der Spielcode-Bereiche, startet und stoppt llama.cpp und definiert die transaktionalen Dateien sowie den binary-comp-Befehl. Jeder begrenzte Lauf seedet eine Funktion aus Ghidra, bittet Qwen um fokussierte Compile- oder Assembly-Diff-Reparaturen und behält den besten sicher kompilierenden Kandidaten. Verwenden Sie --target-score 95 für einen tieferen Durchlauf oder --dry-run-prompt, um den Prompt zu prüfen, ohne Qwen zu laden.

Gemessene lokale Modell-Läufe sind in docs/MODEL_RESULTS.md dokumentiert.

Danksagungen

Besonderer Dank geht an:

• Sean O'Connor für die Entwicklung von Rats! und dafür, dass er die ursprüngliche Windows-Version weiterhin auf der offiziellen Spielseite verfügbar macht.