二进制分析实战笔记之六：反汇编与二进制分析基础
💡
原文中文，约5100字，阅读约需13分钟。
📝
内容提要
本文介绍了静态和动态反汇编的基本概念与工具。静态反汇编包括线性分析和递归分析，前者适合快速分析，后者适合深入分析。动态反汇编使用GDB调试工具，展示了设置断点、记录指令和执行过程的方法。此外，还提到模糊测试工具如AFL和Google的OSS-Fuzz，用于覆盖二进制文件的新代码路径。
🎯
关键要点
- 静态反汇编分为线性分析和递归分析，前者适合快速分析，后者适合深入分析。
- 动态反汇编使用GDB调试工具，可以设置断点、记录指令和执行过程。
- GDB的基本命令包括info files、设置断点、禁用分页、启动程序等。
- 模糊测试工具如AFL和Google的OSS-Fuzz用于覆盖二进制文件的新代码路径。
❓
延伸问答
静态反汇编和动态反汇编有什么区别？
静态反汇编不执行程序，仅分析代码结构，分为线性分析和递归分析；动态反汇编则在程序运行时进行分析，使用调试工具如GDB。
什么是线性分析和递归分析？
线性分析是简单的顺序扫描，适合快速分析；递归分析则基于控制流，适合深入分析。
如何使用GDB进行动态反汇编？
使用GDB可以设置断点、记录指令和执行过程，基本命令包括info files、设置断点和run。
模糊测试工具有哪些？
常用的模糊测试工具包括AFL、Microsoft的Project Springfield和Google的OSS-Fuzz。
GDB中如何设置断点？
可以使用命令b加上函数名或地址，例如b __libc_start_main来设置断点。
动态反汇编的主要步骤是什么？
主要步骤包括启动程序、设置断点、记录指令、单步执行和查看记录的指令。
➡️
