**逆向工程（Reverse Engineering）**是从已有系统及其行为出发，分析组成部分、相互关系和实现机制，形成便于理解的结构或模型的过程。本词条侧重软件逆向工程：对象可以是可执行文件、应用包、协议交互和运行记录，目标是解释已有程序如何工作。
分析方式
- 静态分析：不运行目标程序，检查文件结构、字符串、符号、指令和代码关系。反汇编将机器指令转为汇编表示；反编译进一步产生便于阅读的高级语言形式。
- 动态分析：在程序运行时观察执行过程，例如暂停执行、检查变量、跟踪函数调用和记录输入输出。
- 交叉验证：用静态线索提出假设，再用特定输入和运行观察检验。一次运行只能说明已覆盖路径的行为。
反编译得到的代码是帮助理解的表示，不应直接等同于原始源码。分析结论应保留对应的文件、函数、地址或运行条件，方便复核。
用途
软件逆向工程可用于理解缺少文档的系统、软件维护、兼容性研究及安全分析。研究主题通常应限定到具体问题，例如某种文件如何解析、一个功能经过哪些模块，或程序在某个输入下为何产生特定输出。
工具与阅读资料
Ghidra 官方仓库展示了反汇编、反编译、图形分析与脚本扩展等软件分析能力；GDB 官方手册介绍了运行控制、断点与程序状态检查。工具提供观察和分析手段，具体结论仍需结合目标与证据判断。
参考资料
- A Survey of Reverse Engineering and Program Comprehension：软件逆向工程与程序理解的研究综述。