アセンブリ言語入門: 概要・命令セット・構文・呼び出し規約・デバッグまで完全ガイド
エバープレイ編集部概要：アセンブリとは何か
アセンブリ（アセンブリ言語、Assembly language）は、コンピュータのCPUが理解する機械語（バイナリ命令）を、人間が読み書きしやすい記号（ニーモニック）で表現した低水準プログラミング言語です。機械語と1対1またはほぼ1対1で対応する命令やオペランド表記を持ち、ハードウェアに極めて近い制御が行えます。アセンブラ（assembler）というツールでアセンブリソースコードを機械語（オブジェクトファイル）に変換し、リンカで実行可能形式に結合します。
機械語とアセンブリの関係
CPUは0/1で表現された機械語を直接実行しますが、それを人間が扱うのは困難です。そこで命令ごとにニーモニック（例：MOV, ADD, JMP）を割り当て、レジスタや即値、メモリアドレスの表記を用いたのがアセンブリです。多くの場合、1行のアセンブリ命令は1つの機械語命令に対応しますが、擬似命令やマクロなどにより1対多となることもあります。
命令セットとアーキテクチャ
アセンブリはCPUアーキテクチャ固有です。x86/x86-64、ARM、RISC-V、MIPSなどそれぞれ命令セットアーキテクチャ（ISA）が異なるため、アセンブリ言語の文法や利用できる命令、レジスタ構成、アドレッシング方法も変わります。
- x86/x86-64：複雑で多様な命令群、可変長命令、32bit/64bitでレジスタ数が異なる（x86-64ではRAX～R15の16本）。
- ARM（AArch32/AArch64）：RISC設計、レジスタ数や命令の簡潔さが特徴。AArch64では64ビット汎用レジスタが31本ある。
- RISC-V：オープンな命令セット、ベース命令＋拡張の概念で拡張性が高い。
レジスタ、メモリ、アドレッシングモード
アセンブリではレジスタ（CPU内部の高速記憶装置）を直接扱います。一般目的レジスタ、スタックポインタ、プログラムカウンタ、浮動小数点やSIMD用のレジスタなどがあります。アドレッシングモード（即値、レジスタ間接、ベース＋オフセット、間接インデックスなど）はアーキテクチャごとに異なり、メモリ参照の柔軟性や命令の効率に影響します。
アセンブラ、リンカ、ローダの役割
- アセンブラ：アセンブリコード（テキスト）を機械語（オブジェクトファイル）に変換します。ラベル解決や領域（.text, .data）処理、ディレクティブの解釈を行います。代表例：NASM、GAS（GNU Assembler）、MASM、FASM。
- リンカ：複数のオブジェクトファイルやライブラリを結合し、シンボル解決とアドレス割り当てを行い、実行可能ファイル/ライブラリを生成します。
- ローダ（ローダ/動的ローダ）：生成された実行ファイルをメモリに配置して実行を開始します。動的リンクではライブラリの読み込みや再配置が実行時に行われます。
構文、ディレクティブ、マクロ
アセンブリ言語には純粋な命令のほかに、データ領域の定義やアセンブリ挙動を制御する「ディレクティブ」があります（例：.data, .text, .globl, .byte, .word）。またマクロや擬似命令（例：AT&T構文のleal、あるいは擬似命令としてのpush/popの簡素化表現）を用いることで可読性や再利用性を高められます。構文はアセンブラごとに違い、AT&T構文とIntel構文（x86系）などの違いにも注意が必要です。
呼び出し規約（Calling Convention）とシステムコール
関数呼び出しで引数や戻り値、レジスタの保存責任をどのように扱うかは呼び出し規約で定められます。代表的なもの：
- System V AMD64 ABI（多くのUnix系／Linuxで採用）：整数引数はRDI, RSI, RDX, RCX, R8, R9の順、返り値はRAX。
- Microsoft x64 calling convention（Windows x64）：整数引数はRCX, RDX, R8, R9の順。
システムコール（OSに処理を依頼する呼び出し）はアーキテクチャとOSにより方法が異なり、例えばLinux x86-64ではsyscall命令と特定のレジスタ配置（RDI,RSI,RDX,R10,R8,R9）を使う、といったルールがあります。これらはプラットフォーム依存なのでアセンブリで直接OS機能を呼ぶ場合は注意が必要です。
利点と欠点、利用される場面
アセンブリを使う利点と欠点を整理します。
- 利点：性能最適化やコードサイズの削減、ハードウェア制御（初期ブート、デバイスドライバ、ファームウェア、リアルタイム・組み込み）、特権命令や特殊レジスタの操作、逆アセンブルやマルウェア解析での理解など。
- 欠点：可読性・保守性が低い、アーキテクチャ依存で移植性がない、開発コスト・バグ発生率が高い。最適化はコンパイラが行う方が安全かつ効率的な場合が多い。
- 利用場面：組み込み（ブートローダ、割り込みハンドラ）、OSカーネル部分、クリティカルな性能部分、逆コンパイル・リバースエンジニアリング、セキュリティ研究。
デバッグ、逆アセンブル、逆コンパイル
アセンブリはデバッグやセキュリティ調査でも重要です。代表的なツール：
- objdump（GNU binutils）のobjdump -dで逆アセンブル可能。
- IDB/IDA Pro、Ghidra：逆アセンブル・逆コンパイルツール。Ghidraは無料で高機能。
- デバッガ：gdb、lldb、WinDbgなどはアセンブリレベルでステップ実行やレジスタ、メモリの確認ができる。
逆アセンブルされたコードを理解するには、呼び出し規約、ライブラリ呼び出し、ストリングや定数領域の意味、最適化によるコード変形を考慮する必要があります。
実用的な構文例（x86-64 Intel構文）
簡単な例：レジスタ同士の加算と戻り値を返す関数（System V AMD64 ABI準拠）
section .text
global add_two_numbers
add_two_numbers:
; 引数: rdi, rsi
mov rax, rdi
add rax, rsi
ret
この例では、呼び出し規約に従い第1引数がRDI、第2引数がRSIに入っている前提で、RAXに結果を入れて返しています。
学習方法とツール
アセンブリを学ぶ際のポイント：
- ターゲットアーキテクチャを決める（x86-64が普及、ARMはモバイル/組み込みで重要）。
- アセンブラの選択（NASM, GAS, MASMなど）と構文（Intel系/AT&T系）に慣れる。
- 簡単なプログラム（システムコールでの出力、整数演算、ループ、文字列操作）を作ってデバッグする。
- 逆アセンブルツールでコンパイラが生成するコードを観察し、最適化の影響を学ぶ。
主なツール：NASM、GAS、GCC/Clangのインラインアセンブリ機能、gdb、objdump、readelf、strace、ltrace、Ghidra、IDA。
まとめ
アセンブリはCPUに最も近いプログラミング手段であり、システムの根幹や性能クリティカルな領域、低レイヤのソフトウェア開発、セキュリティ調査で重要です。一方で可読性や移植性の課題があるため、必要な箇所で的確に使うことが求められます。現代の多くの開発では高級言語とコンパイラ最適化が主流ですが、アセンブリの理解はシステム全体を深く理解する上で有益です。
参考文献
- Assembly language — Wikipedia
- Intel® 64 and IA-32 Architectures Software Developer's Manual — Intel
- ARM Developer Documentation (ARM Architecture Reference Manuals)
- RISC‑V Specifications — RISC-V International
- Netwide Assembler (NASM) — 公式
- GNU Assembler (GAS) Documentation — GNU binutils
- IDA Pro — Hex-Rays
- Ghidra — NSA (オープンソース逆アセンブル/逆コンパイルツール)
- x86 Assembly Guide（教育資料）
- The Art of Assembly Language — Randall Hyde
投稿者プロフィール
