Deterministic Fully-Static Whole-Binary Translation Without Heuristics
Summary
The paper introduces Elevator, a deterministic static translator that converts entire x86-64 binaries to AArch64 without heuristics, source code, or layout assumptions, by considering all possible byte interpretations. It generates multiple translation paths ahead of time and yields self-contained binaries with no runtime components, trading off code size for correctness and verifiability. Evaluation on real binaries shows competitive performance with QEMU's emulation, enabling testing, certification, and signing before deployment.