--- title: [2605.08419] Deterministic Fully-Static Whole-Binary... description: Elevator is a new binary translator that statically converts entire x86-64 executables to AArch64 without requiring debug information, source code, or... canonical: https://daily.dev/posts/2605-08419-deterministic-fully-static-whole-binary-translation-without-heuristics-kercz0j7v twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: [2605.08419] Deterministic Fully-Static Whole-Binary Translation without Heuristics | daily.dev og:description: Elevator is a new binary translator that statically converts entire x86-64 executables to AArch64 without requiring debug information, source code, or... og:url: https://daily.dev/posts/2605-08419-deterministic-fully-static-whole-binary-translation-without-heuristics-kercz0j7v og:image: https://api.daily.dev/og/posts/KerCZ0J7V.png og:image:alt: [2605.08419] Deterministic Fully-Static Whole-Binary Translation without Heuristics og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # [2605.08419] Deterministic Fully-Static Whole-Binary Translation without Heuristics **[Hacker News](https://daily.dev/sources/hn)** · 2 min read · 1 upvotes · 0 comments ## Summary Elevator is a new binary translator that statically converts entire x86-64 executables to AArch64 without requiring debug information, source code, or assumptions about code layout. Unlike existing systems that rely on heuristics or runtime fallbacks, Elevator considers all possible byte interpretations ahead of time and generates separate control flow paths for each feasible one, pruning only those leading to abnormal termination. Translations are composed from code 'tiles' derived from a high-level ISA description, producing complete, self-contained binaries with no runtime component in the trusted code base. The main tradeoff is significant code size expansion, but the key benefit is that the output is the exact code that will run, enabling pre-deployment testing, validation, certification, and cryptographic signing. Evaluated on SPECint 2006 and other real-world binaries, Elevator achieves performance on par with or better than QEMU's user-mode JIT emulation. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [Huge binaries: I thunk therefore I am](https://daily.dev/posts/huge-binaries-i-thunk-therefore-i-am-cemlkri4d) · Farid Zakaria’s Blog · 0 upvotes · 0 comments - [Tech Notes: Theseus, a static Windows emulator](https://daily.dev/posts/tech-notes-theseus-a-static-windows-emulator-nrhf1say7) · Hacker News · 1 upvotes · 0 comments - [This Wasm interpreter fits in a QR code](https://daily.dev/posts/this-wasm-interpreter-fits-in-a-qr-code-9joneseox) · Lobsters · 21 upvotes · 0 comments - [Binary Obfuscation that Doesn't Kill LTO: A Recap of My Thotcon Talk](https://daily.dev/posts/binary-obfuscation-that-doesn-t-kill-lto-a-recap-of-my-thotcon-talk-5st70tkez) · Hacker News · 0 upvotes · 0 comments - [The Double Engine: Why Every Modern C\+\+ Compiler Is Secretly Two Compilers](https://daily.dev/posts/the-double-engine-why-every-modern-c-compiler-is-secretly-two-compilers-f687ffzr4) · Medium · 5 upvotes · 0 comments --- Tags: [#compiler](https://daily.dev/tags/compiler) [View this post on daily.dev](https://daily.dev/posts/2605-08419-deterministic-fully-static-whole-binary-translation-without-heuristics-kercz0j7v) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"[2605.08419] Deterministic Fully-Static Whole-Binary Translation without Heuristics","url":"https://daily.dev/posts/2605-08419-deterministic-fully-static-whole-binary-translation-without-heuristics-kercz0j7v","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/2605-08419-deterministic-fully-static-whole-binary-translation-without-heuristics-kercz0j7v"},"datePublished":"2026-05-13T06:53:55.309Z","dateModified":"2026-05-13T06:54:13.771Z","description":"Elevator is a new binary translator that statically converts entire x86-64 executables to AArch64 without requiring debug information, source code, or...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/1fed0de190485cbbb37a86fdf656d71b?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/1fed0de190485cbbb37a86fdf656d71b?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"Hacker News","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Hacker News","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/hn","url":"https://daily.dev/sources/hn"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/2605-08419-deterministic-fully-static-whole-binary-translation-without-heuristics-kercz0j7v","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":1},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"compiler","timeRequired":"PT2M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Hacker News","item":"https://daily.dev/sources/hn"},{"@type":"ListItem","position":3,"name":"[2605.08419] Deterministic Fully-Static Whole-Binary Translation without Heuristics"}]} ```