gba-mapper
An automated LLM-driven disassembly mapping tool for GBA ROMs that uses a verifiable success oracle to ensure pristine, byte-identical output.
0 projects
About gba-mapper
gba-mapper is an automated tool designed to map functions within Game Boy Advance (GBA) cartridge images. It functions by iteratively 'peeling' functions from a ROM image, disassembling them, and verifying the results through a reassembly and relinking process. The tool uses a verifiable success oracle—the linker—to ensure that every function's address, boundary, and CPU mode are correct by confirming the output matches the original binary. If an LLM agent makes a mistake or hallucination, the oracle rejects the output, forcing the agent to reevaluate. The tool is specifically designed to produce a verified map (in `labels.toml` format) for use with the `gba-recomp` static recompiler, rather than attempting matching decompilation or generating C code. It is intended to be run within an AI-compatible harness such as Claude Code. While the tool is automated, it is explicitly noted that generic ROM disassembly cannot be performed purely programmatically, necessitating the use of LLM agents to resolve ambiguities like data-versus-code, jump tables, and interleaved literal pools. The project is licensed under MIT, while the maps it generates are dedicated to the public domain under CC0. It is uncertain whether the tool supports environments outside of those compatible with the specified Claude Code workflows, as the documentation focuses on this specific integration.
Summarised from the official page linked above.