4

考虑 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指令是由操作系统以某种方式处理的，但这几乎肯定是错误的。

4

1 回答 1

6

指令的嵌套形式enter假定您已经有一个有效的帧指针 in ebp，这在进程开始时在 linux 上不是这种情况。大概这就是你出错的原因。

试试这个：

_start:
    enter $0, $0        # set up initial stack frame
    push $1
    push $2             # simulate two previous frame pointers
    enter $16, $3       # nested proc level 3, esp should be 32 less
    movl (%ebp), %eax   # should be previous ebp
    movl -4(%ebp), %eax # should be 1
    movl -8(%ebp), %eax # should be 2
    movl $1, %eax
    movl $0, %ebx
    int $0x80

另请参阅英特尔® 64 和 IA-32 架构软件开发人员手册第 1 卷：基本架构中的6.5.1 ENTER 指令部分

于 2014-11-22T16:40:49.343 回答