Michael Franz

Deterministic Fully-Static Whole-Binary Translation without Heuristics

We present Elevator , the first binary translator capable of statically translating entire x86-64 binary executables to AArch64 without using debug information, source code, or any assumptions about code patterns or layouts within the original binary. Unlike existing binary trans...