Binary Translation

Concept

Binary translation is a technique for translating executable code from one instruction set architecture (ISA) to another. The provided evidence corpus, drawn from a survey on ISA specification, lists numerous tools and research efforts relevant to or directly employing binary translation, including dynamic translators such as QEMU and related works.

First seen 7/3/2026

Last seen 7/3/2026

Evidence 2 chunks

Wiki v1

WIKI

Binary Translation

Overview

Binary translation refers to the process of translating executable program code from one instruction set architecture (ISA) to another, or to an intermediate representation, in order to execute or analyze the program on a different platform or within a different toolchain. Binary translation can be performed statically (ahead of execution) or dynamically (at runtime), and is foundational to emulation, virtualization, cross-architecture software execution, and certain forms of binary analysis and lifting.

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

TCG (Tiny Code Generator) Intermediate Representation ← implements 93% 1e

TCG is QEMU's IR used for binary translation across architectures.

LINKED ENTITIES

5 links

TCG (Tiny Code Generator) Intermediate Representation IMPLEMENTS Extracted graph relationship

QEMU USES QEMU is identified in the evidence as a related entity tied to binary translation; it relies on the TCG IR to perform dynamic binary translation.

Binary Analysis RELATED Binary analysis platforms (e.g., BAP) consume code produced or transformed by binary translation pipelines and are listed in the evidence.

Instruction Set Architecture RELATED Binary translation operates between ISAs and depends on ISA specifications; the evidence links the two topics directly.

CPU Verification RELATED CPU verification efforts often rely on translated or lifted code, and the evidence lists CPU verification alongside binary translation-related tools.

CITATIONS

5 sources

5 citations — click to expand

[1] Binary translation is a technique for translating executable code between instruction set architectures or to an intermediate representation. Specifications of instruction set architectures

[2] The TCG (Tiny Code Generator) Intermediate Representation is the IR used by QEMU for binary translation and is listed as a related tool in the ISA-specification evidence. Specifications of instruction set architectures

[3] QEMU, binary lifters (BinRec, Dagger, LLVM-MCtoLL, McSema, Remill, reopt, rev.ng), disassemblers (Capstone, zydis), and the BAP binary analysis platform are connected to binary translation workflows in the ISA-specification literature. Specifications of instruction set architectures

[4] Research on binary translation includes Bansal and Aiken's binary translation using peephole superoptimizers and Cifuentes et al.'s UQBT adaptable binary translation system, as listed in the ISA-specification references. Specifications of instruction set architectures

[5] Reverse interpretation with mutation analysis (Collberg et al., PLDI 1997) and automatic derivation of code generators (Cattell, 1978/1980) are cited in the evidence as foundational techniques related to binary translation. Specifications of instruction set architectures