x86汇编中jmp跳转到两条有效指令之间的地址会有什么后果？

x86属于变长指令集架构，CPU本身不会记录指令的边界位置，只会从跳转目标地址开始按字节逐位解码执行，不会区分这段字节原本属于哪条上层定义的指令。

你给出的示例代码：

0x0001: mov ...
0x0005: add ... 
0x0009: jmp 0x0003

假设0x0001处的mov指令长度为4字节（覆盖地址范围0x0001~0x0004），当jmp到0x0003时，CPU会把mov指令的后2字节，加上后续add指令的开头字节拼接为新的指令解码，最终的执行结果有几种可能：

• 解码后为合法指令：程序会沿着非预期的指令流执行，大概率很快出现逻辑错误或者崩溃
• 解码后为特权指令/非法指令：直接触发非法指令异常，进程被操作系统终止
• 解码后触发非法内存访问：触发段错误/访问违例，进程终止

注意：该行为的执行结果完全由地址处的字节内容、CPU架构、运行模式决定，结果是确定的，但属于上层开发视角下的未定义行为，不具备可预测性。

本地测试 #

你可以通过调试器直接控制程序计数器实现这类测试，步骤如下：

• 编写简单的测试汇编代码，编译为带调试信息的可执行文件，Linux环境可使用nasm+gcc编译，Windows环境可使用MASM+Visual Studio编译
• 用调试器加载程序：Linux用GDB，Windows用x64dbg/WinDbg，在目标代码段下断点让程序停在对应位置
• 直接修改rip（64位模式）或eip（32位模式）寄存器的值为你要测试的中间地址，单步执行即可看到解码后的指令和运行结果
• 如果需要精确控制指令的内存地址，可以在链接时通过自定义链接脚本指定代码段基地址，直接在汇编代码中写入硬编码的跳转目标即可复现测试场景

在线测试 #

你可以选择支持自定义程序计数器和内存字节的在线x86模拟器，不需要处理本地编译链接的地址配置，直接在模拟器中写入对应机器码，手动设置PC（程序计数器）的值为目标中间地址，即可直接运行查看结果。

内容的提问来源于stack exchange，提问作者zell