考虑 x86 指令ENTER
。来自英特尔的指令集参考。
为过程创建堆栈帧。第一个操作数(大小操作数)指定堆栈帧的大小(即在堆栈上为过程分配的动态存储的字节数)。第二个操作数(嵌套级别操作数)给出了过程的词法嵌套级别(0 到 31)。嵌套级别决定了从前一帧复制到新堆栈帧的“显示区域”的堆栈帧指针的数量。这两个操作数都是立即数。
我想知道ENTER
当非零嵌套级别作为第二个操作数传递时指令是如何工作的。在这种情况下,根据英特尔的手册,处理器应该将额外的帧指针压入堆栈。听起来很简单,但我不明白为什么它在示例程序上不能按预期工作。
我使用 FASM 编译了以下示例并使用 OllyDbg 进行了调试。
format PE
section '.text' code readable executable
entry start
start:
enter 16, 8
push 0
call ExitProcess
...
该ENTER
指令发出的堆栈帧如下所示。
000CFF58 00000000 ; new esp
000CFF5C 00000000
000CFF60 00000000
000CFF64 00000000
000CFF68 000CFF88 ; value of new ebp
000CFF6C 7EFDE000 ; ?
000CFF70 000CFF94 ; value of old ebp
000CFF74 76AD338A ; ?
000CFF78 7EFDE000 ; ?
000CFF7C 000CFF94 ; value of old ebp
000CFF80 76AD338A ; ?
000CFF84 7EFDE000 ; ?
000CFF88 000CFF94 ; value of old ebp
000CFF8C 76AD338A ; old esp
结果很奇怪。让我们用 gcc 做同样的事情。
> cat enter.s
.globl _start
.text
_start:
enter $16, $8
movl $1, %eax
movl $0, %ebx
int $0x80
> gcc -m32 -g -c enter.s && ld -melf_i386 enter.o
> gdb a.out
...
(gdb) r
...
Program received signal SIGSEGV, Segmentation fault.
_start () at enter.s:5
5 enter $16, $8
呃,好吧……
我可能误解了它应该如何工作。我唯一的猜测是该ENTER
指令是由操作系统以某种方式处理的,但这几乎肯定是错误的。