Binary Analysis

Concept

Binary analysis is the examination of machine code and executable binaries to recover structure, semantics, or properties without source code. It relies on ISA-level specifications to decode, disassemble, lift, and reason about low-level instructions, and underpins tools for decompilation, verification, reverse engineering, and binary translation.

First seen 7/3/2026

Last seen 7/3/2026

Evidence 4 chunks

Wiki v1

WIKI

Binary Analysis

Overview

Binary analysis is the systematic study of machine code and executable binaries to recover structure, semantics, or higher-level properties when source code is unavailable. It encompasses a range of activities — including disassembly, lifting to intermediate representations, decompilation, program analysis, verification, and binary translation — all of which depend on a precise understanding of the target instruction set architecture (ISA).

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections

BAP (Binary Analysis Platform) ← implements 98% 1e

BAP is a platform specifically for binary analysis.

Machine Code Decompilation ← implements 90% 1e

Machine code decompilation is a form of binary analysis.

ISA Semantics uses → 92% 1e

Binary analysis relies on ISA semantics to interpret binary code.

TSL (Transfer Specification Language) ← uses 90% 1e

TSL generates abstract interpreters for machine-code analysis, a form of binary analysis.

LINKED ENTITIES

4 links

BAP (Binary Analysis Platform) IMPLEMENTS Extracted graph relationship

Machine Code Decompilation IMPLEMENTS Extracted graph relationship

ISA Semantics USES Extracted graph relationship

TSL (Transfer Specification Language) USES Extracted graph relationship

CITATIONS

5 sources

5 citations — click to expand

[1] Binary analysis is the systematic study of machine code and executable binaries to recover structure, semantics, or higher-level properties when source code is unavailable. ISA Specification (related work index)

[2] Binary analysis is listed as a related topic in the ISA-specification related-work index, alongside Binary lifter, Instruction set architecture, CPU verification, and others. ISA Specification (related work index)

[3] BAP is a binary-analysis platform cited in the ISA-specification related-work corpus. ISA Specification (related work index)

[4] TSL is a system for generating abstract interpreters and is applied to machine-code analysis. ISA Specification (related work index)

[5] The ISA-specification related-work corpus includes machine-code verification, disassembly, lifting, decompilation, binary translation, and security applications, all of which rely on binary-analysis techniques grounded in formal ISA semantics. ISA Specification (related work index)