Researchers have unveiled Elevator, a novel binary translator that statically converts x86-64 executables to AArch64 without relying on heuristics or runtime fallbacks. Unlike existing tools that struggle with code-versus-data decoding errors, Elevator analyzes every possible interpretation of each byte, generating separate translation paths for all feasible scenarios. This deterministic approach eliminates the need for runtime components in the trusted code base.

The system constructs translations by automatically deriving code 'tiles' from high-level ISA descriptions, producing self-contained binaries. While the method incurs substantial code size expansion, it offers the critical benefit of generating actual running code that can be tested and validated before deployment. This enables cryptographic signing and certification workflows previously impossible with emulators or JIT compilers.

Elevator was evaluated across real-world binaries, including the SPECint 2006 benchmark suite, achieving performance matching or exceeding QEMU's user-mode JIT emulation. The tool represents a significant shift toward provably correct binary translation, trading code bloat for reliability and pre-deployment verification capabilities.