ROP攻击作业中gadget字节序列指令解析及跳转有效性相关问题

问题解答 #

首先明确地址对应关系：你给出的addval_219函数的字节序列按地址从低到高依次为 8d 87 51 73 58 90 c3，你要跳转的0x4019ab正好对应第5个字节0x58的位置，CPU会从这个地址开始逐字节解析指令。

1. 字节90对应的指令
   在x86-64架构下，字节0x90是单字节的nop指令，也就是空操作，执行后不会改变任何寄存器和栈的状态，仅占用一个CPU时钟周期就会执行下一条指令。你跳转后实际的指令执行序列是：popq %rax → nop → retq。
2. 90会不会影响58的指令解析
   完全不会。x86是变长指令集，CPU解析指令是从当前IP指向的地址开始从前向后解析的，0x58本身就是单字节指令，对应popq %rax，CPU解析到这个字节的时候就会直接判定为popq %rax，和后面紧跟着的字节没有任何关系，后面的90是下一条待解析的指令，不会干扰前一条的识别。
3. 替换90后还能不能跳转到58所在地址执行
   可以。只要0x58这个字节本身没有被修改，你跳转的目标地址确实是0x58所在的0x4019ab，CPU就会从这个位置开始解析，第一条指令永远是popq %rax。只是替换90为其他字节后，popq之后执行的指令会对应变化，你只要确认后续指令的副作用是你可以接受的，就可以正常跳转。

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