memory 堆栈：来自 esp 的 sub 20

Question

我无法在这个 stackoverflow 线程中掌握答案。 https://stackoverflow.com/a/1395646

在答案的中间，它说Most function prologs look something like:...

据我了解上述答案中的说明->第一条指令将 ebp 推入堆栈。 然后我们将 esp 移到 ebp 中。 最后，我们从 esp 中减去 20，使 esp 点 20 地址从原来的位置向下。

根据上面的说明，我将堆栈想象成这样。

high address
__________________________
|     (an address)       |    <-- ebp
..........................
..........................
|                        |    <-- esp points to an address 20 
|                        |        bytes lower
|                        |
|                        |
|                        |
|________________________|
low address

如果这个可视化是正确的，那么当你甚至没有任何关于可以放置下一个局部变量的位置的引用时，你怎么能将任何东西压入堆栈呢？

Answer 1

“低地址”是堆栈指针ESP所在的位置。 将任何内容推送到堆栈将其存储在此地址下方。

存储局部变量将使用带有负偏移量的EBP相对寻址模式。

在您的示例中， EBP和ESP之间有 20 个字节的差异。
在没有任何推送的情况下， MOV到ESP指向的位置填充该 20 字节区域的最低 4 个字节。 相反，第一个PUSH将存储在该 20 字节区域之下。 只有PUSH指令会预先降低堆栈指针。 MOV按原样使用ESP 。

以下存储到 memory 中的相同地址：

mov [ebp-20], eax
mov [esp], eax

现在，如果我们push一些新数据推送到堆栈中，那么ESP会发生变化，但EBP仍然存在，因此以下情况为真：

push ebx              <<< The first push
mov  eax, [ebp-20]    <<< Still at -20
mov  edx, [esp+4]     <<< Now at +4

EAX和EDX彼此相等。