如何判断是否触发栈段错误?压栈后栈空间仍为空的问题排查
问题本质
你观测到的“压栈后栈为空”不是异常,是对调试输出的误判。
核心依据
你执行3次push后,ESP从0xf00d1f8c降到0xf00d1f80,正好减少12字节(3次压栈×4字节/次),ESP的变化完全符合x86压栈的预期规则,说明push指令已经正常执行,不存在操作失效的问题。
你用x/4w $esp读到全0,是因为你要压入的三个源值本身就全是0。
错觉来源
按照cdecl调用约定,memset的参数(从右往左压栈)和反汇编的三步操作完全对应:
- 第一步
push eax:压入memset的第三个参数(填充长度),eax由*(DWORD*)(edi+0x1fb8)左移3位得到,如果这个源值本身是0,压入的自然就是0 - 第二步
push 0:压入memset的第二个参数(填充值),本身就是立即数0,栈上对应位置必然是0 - 第三步
push DWORD PTR [edi+0x1fb0]:压入memset的第一个参数(目标地址pages),如果这个源值本身是0,压入的也是0
三步压栈完成后,栈上连续三个双字就是全0,看起来和“空栈”没有区别。
是否属于栈段错误?
完全不属于:
- 真触发栈段越界错误时,CPU会直接抛出#GP通用保护异常,你根本无法停在
call memset的位置,会直接进入内核异常处理流程。 - 你当前ESP地址
0xf00d1f80顺利完成了多次压栈操作,没有触发异常,说明这个地址完全在当前栈段的合法访问范围内。
排查步骤
不要连续跑完三次压栈再读栈值,每执行一条压栈指令就单独校验源值和写入结果:
- 执行
push eax前,先打印p $eax,确认要压入的长度值是否非0 - 执行完
push eax后立刻用x/wx $esp,核对写入值和$eax是否一致 - 执行
push DWORD PTR [edi+0x1fb0]前,先打印p/x *(int*)($edi+0x1fb0),确认pages指针是否非0
如果确认源值都非0但栈上仍读到全0,再排查栈段描述符的基地址、边界配置是否覆盖了当前ESP的地址范围。
无效操作说明
你之前加的cli;cld和当前问题无关:
cli只是关闭中断,避免压栈过程被打断,不会影响压栈的写入结果cld只是清空方向标志,保障后续memset的字符串操作按地址递增执行,和压栈逻辑没有关联
内容的提问来源于stack exchange,提问作者Esaïe Njongssi
相关产品推荐
相关产品推荐

