本书系统讲解x64汇编语言及其在逆向分析领域的应用，面向网络空间安全、系统软件等方向的学习者与从业者。全书以x64架构为核心，全面覆盖应用层汇编编程与系统级体系结构，深入介绍数据表示、指令集、子程序设计、向量计算等基础知识，并剖析特权级、内存管理、中断/异常等底层运行机制。
　　本书以逆向分析为实践主线，系统讲解静态分析与动态调试技术，结合Ghidra等主流开源工具，帮助读者掌握从“读懂汇编”到“完成逆向”的完整能力链条。全书共12章，分为x64汇编语言、x64系统级架构、逆向分析技术三部分，内容循序渐进、实例丰富。

更多科学出版社服务，请扫码获取。

目录
第1章 概述 1
1.1 汇编语言 1
1.1.1 汇编语言的定义 1
1.1.2 汇编语言的应用 2
1.1.3 汇编语言的不足 4
1.1.4 学习汇编语言的意义 5
1.2 逆向分析 6
1.2.1 逆向分析的定义 6
1.2.2 逆向分析的应用 7
1.2.3 逆向分析的技术手段 8
1.2.4 逆向分析的合法性 10
1.3 x64处理器 11
1.3.1 指令集架构 11
1.3.2 x86/x64 ISA演进 12
1.3.3 x64 ISA的扩展特性 13
习题 14
第2章 数据表示与存储 16
2.1 数据的数学记法 16
2.1.1 进位计数制 16
2.1.2 二进制 17
2.1.3 十六进制 18
2.2 数据的编码表示 19
2.2.1 整数的编码 19
2.2.2 实数的编码 22
2.2.3 文字的编码 25
2.3 数据的组织 27
2.3.1 数据的位宽 27
2.3.2 数据的类型 28
2.4 数据的存取 30
2.4.1 内存编址 30
2.4.2 地址对齐 31
2.4.3 字节序 31
习题 32
第3章 x64应用执行环境 34
3.1 64位应用执行环境概述 34
3.2 基本寄存器 36
3.2.1 通用寄存器 36
3.2.2 段寄存器 37
3.2.3 指令指针寄存器 38
3.2.4 标志寄存器 38
3.3 内存模型 39
3.4 指令集 40
3.4.1 指令的汇编语言表示 40
3.4.2 汇编语言表示的书写约定 41
3.4.3 指令MOV 41
3.5 寻址方式 42
3.5.1 直接寻址 43
3.5.2 带变址的寄存器间接寻址及其变种 43
3.5.3 RIP相对寻址 46
3.5.4 其他寻址方式 46
习题 47
第4章 汇编语言语法及程序开发 49
4.1 基础语法成分 49
4.1.1 保留字 49
4.1.2 标号 51
4.1.3 常量 52
4.1.4 数值表达式 54
4.1.5 地址表达式 54
4.2 汇编语言语句 54
4.2.1 指令语句 55
4.2.2 伪指令语句 55
4.2.3 预处理指令语句 62
4.3 开发环境搭建 64
4.3.1 安装VS Code 64
4.3.2 安装NASM 65
4.3.3 安装其他开发工具 66
4.4 基本开发活动 66
4.4.1 Hello World程序 66
4.4.2 程序的编辑/编译/链接/运行 67
4.4.3 程序的调试 69
习题 70
第5章 数据处理指令 73
5.1 数据传送指令 73
5.1.1 通用数据传送指令 73
5.1.2 数据交换指令 74
5.1.3 栈操作指令 74
5.1.4 标志寄存器栈操作指令 76
5.1.5 地址传送指令 77
5.1.6 符号扩展指令 77
5.2 算术运算指令 78
5.2.1 加法指令 78
5.2.2 减法指令 81
5.2.3 乘法指令 82
5.2.4 除法指令 84
5.3 逻辑运算和移位指令 85
5.3.1 逻辑运算指令 85
5.3.2 移位指令 87
5.3.3 循环移位指令 89
5.4 串操作指令 90
5.4.1 字符串传送指令 90
5.4.2 字符串存储指令 91
5.4.3 字符串比较指令 91
5.4.4 字符串扫描指令 92
5.4.5 重复前缀 92
习题 93
第6章 分支和循环指令 97
6.1 分支指令 97
6.1.1 无条件跳转指令 97
6.1.2 条件跳转指令 100
6.2 分支结构 102
6.2.1 单分支 102
6.2.2 双分支 103
6.2.3 多路分支 104
6.3 循环指令 106
6.4 循环结构 106
6.4.1 do？while型循环 107
6.4.2 while型循环 107
6.4.3 for型循环 108
6.4.4 多重循环 109
习题 110
第7章 子程序设计 114
7.1 子程序调用和返回指令 114
7.1.1 CALL指令 115
7.1.2 RET指令 116
7.1.3 CALL/RET指令应用示例 117
7.2 调用约定 117
7.2.1 参数传递/清除与返回值 118
7.2.2 寄存器的保存与恢复 120
7.3 栈帧结构 121
7.4 C库函数调用 125
7.5 系统调用 127
习题 128
第8章 SSE及向量计算 131
8.1 IEEE 754？1985标准 131
8.1.1 舍入 132
8.1.2 浮点异常 134
8.2 SSE执行环境 134
8.3 SSE数据类型 136
8.4 SSE指令 137
8.4.1 数据传送指令 138
8.4.2 数据转换/重排指令 143
8.4.3 运算指令 150
8.5 SSE指令应用示例 157
8.5.1 矩阵转置 157
8.5.2 灰度图像生成 159
习题 161
第9章 x64系统级架构 163
9.1 系统级架构概述 163
9.1.1 操作系统对系统级架构的需求 163
9.1.2 存储管理与横向隔离 164
9.1.3 多特权态与纵向隔离 165
9.1.4 中断/异常管理与服务通道 166
9.2 x64工作模式 167
9.3 x64实模式 169
9.3.1 系统资源 169
9.3.2 存储管理 170
9.3.3 中断/异常管理 172
9.4 x64保护模式 172
9.4.1 保护模式概述 173
9.4.2 段式存储管理 175
9.4.3 页式存储管理 181
9.4.4 保护机制 188
9.4.5 中断/异常管理 194
9.4.6 平面内存模型 201
9.5 x64长模式 203
9.5.1 段式存储管理 203
9.5.2 页式存储管理 205
9.5.3 保护机制 208
9.5.4 中断/异常管理 208
9.6 x64系统编程示例 210
习题 213
第10章 静态分析技术 214
10.1 ELF文件格式 214
10.1.1 ELF头 215
10.1.2 程序头表 217
10.1.3 节头表 220
10.1.4 动态链接 225
10.2 反汇编原理 229
10.2.1 x64指令格式 229
10.2.2 反汇编基本流程 235
10.2.3 反汇编引擎 235
10.2.4 反汇编策略 236
10.3 静态分析工具Ghidra 238
10.3.1 Ghidra下载与启动 238
10.3.2 Ghidra项目创建与文件导入 239
10.3.3 Ghidra CodeBrowser窗口 240
10.3.4 Ghidra基本导航 241
10.3.5 Ghidra的交互式分析 242
习题 242
第11章 动态调试技术 244
11.1 调试器概述 244
11.2 调试器原理 245
11.2.1 Intel处理器的调试支持 246
11.2.2 Linux操作系统的调试接口 248
11.3 调试器GDB 254
11.3.1 GDB的安装 254
11.3.2 GDB的调试会话建立与终止 255
11.3.3 GDB控制程序的执行 256
11.3.4 GDB内存操作 257
11.3.5 GDB寄存器操作 257
11.3.6 GDB断点 258
11.3.7 GDB的Python扩展 259
11.3.8 GDB远程调试 261
习题 262
第12章 高级语言程序的逆向分析 264
12.1 C程序逆向分析 264
12.1.1 函数识别 264
12.1.2 栈帧分析 268
12.1.3 数据类型推断 273
12.1.4 控制流分析 283
12.2 C++程序逆向分析 289
12.2.1 C++名称修饰 289
12.2.2 std::string类型分析 290
12.2.3 C++类逆向分析 293
习题 296
参考文献 298