Ricostruzione del codice sorgente di Rats! con LLM locali

Questo repository è una ricostruzione in corso d'opera del codice sorgente di RATS.EXE, la versione Windows originale di Rats! (1994) di Sean O'Connor. Compila un eseguibile Win32 con Microsoft Visual C++ 4.1 tramite wibo e può essere testato in DREAMM.

L'esperimento esplora fino a che punto gli LLM locali possono spingersi nella ricostruzione del codice sorgente su un codebase piccolo ma realistico, invece che su un esempio giocattolo. La fedeltà delle corrispondenze resta disomogenea, il che qui è utile: l'obiettivo è presentare una visione realistica del processo e dei suoi limiti attuali, non nascondere le funzioni difficili.

La ricostruzione delle funzioni è limitata agli LLM locali. Codex e Claude vengono usati per la configurazione del repository e l'orchestrazione dei benchmark, ma non possono scrivere o modificare il codice sorgente ricostruito.

Salvo diversa indicazione, tutti gli esperimenti hanno utilizzato Qwen3.8 27B BF16 su un MacBook Pro del 2024 con Apple M4 Max (CPU a 16 core, GPU a 40 core) e 128 GB di memoria. L'approccio funziona — in modo imperfetto, ma utile: le 36 funzioni mantenute hanno richiesto in media un tempo registrato di 2m 32.1s ciascuna per essere ricostruite.

Configurazione

Clona con i sottomoduli, oppure inizializzali dopo la clonazione:

git submodule update --init --recursive

L'eseguibile originale non è incluso. Scarica la versione Windows gratuita dalla pagina ufficiale di Rats! e posiziona il suo RATS.EXE nella radice del repository per usare i target original-executable e binary-comparison.

Comandi comuni

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'archivio MSVC 4.1 con checksum vincolato, le librerie MSVC 4.1 richieste, la msvcrt40.dll compatibile con wibo e DREAMM 4.0x21 vengono scaricati on demand. Restano dipendenze di build locali ignorate e non vengono committate.

Flusso di lavoro di ricostruzione

La directory ghidra/ inclusa nel repository contiene gli export dell'assembly e del decompilatore per tutte le 177 funzioni interne. L'assembly è l'autorità di confronto; il C decompilato è solo un seme semantico.

Installa binary-recons una volta, poi eseguilo dalla radice del repository:

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

Il tool rileva Qwen automaticamente nella cache standard di Hugging Face; BINARY_RECONS_MODEL_PATH può sovrascriverla. binary-recons.toml mantiene la selezione automatica all'interno degli intervalli di codice del gioco, avvia e ferma llama.cpp e definisce i file transazionali e il comando binary-comp. Ogni esecuzione limitata semina una funzione da Ghidra, chiede a Qwen riparazioni mirate di compilazione o diff dell'assembly e conserva il miglior candidato compilabile e sicuro. Usa --target-score 95 per una passata più profonda o --dry-run-prompt per ispezionare il prompt senza caricare Qwen.

Le esecuzioni misurate con modelli locali sono registrate in docs/MODEL_RESULTS.md.

Riconoscimenti

Un ringraziamento speciale a:

• Sean O'Connor per aver creato Rats! e per continuare a rendere disponibile la sua versione Windows originale dalla pagina ufficiale del gioco.