试图理解x86上alloca()函数的Assembly实现

Question

我对组装很陌生，目前正在读一本名为《初学者逆向工程》的书，我开始讨论堆栈上的内存分配。我理解(我认为(堆栈分配的概念，但在这个例子中有一些我不理解的地方，如果这里有人能帮忙，我会很高兴。

这本书举了一个例子：

#ifdef __GNUC__
#include <alloca.h> // GCC
#else
#include <malloc.h> // MSVC
#endif
#include <stdio.h>
void f()
{
char *buf=(char*)alloca (600);
#ifdef __GNUC__
snprintf (buf, 600, "hi! %d, %d, %dn", 1, 2, 3); // GCC
#else
_snprintf (buf, 600, "hi! %d, %d, %dn", 1, 2, 3); // MSVC
#endif
puts (buf);
};

我理解C函数的作用。它在堆栈上分配600字节的内存，然后将字符串"0"写入该空间；嗨"使用CCD_ 1函数。然后功能会打印出来。

现在一切都好。之后，本书给出了MSVC编译器生成的汇编实现，代码如下：

mov eax, 600 ; 00000258H
call __alloca_probe_16
mov esi, esp
push 3
push 2
push 1
push OFFSET $SG2672
push 600 ; 00000258H
push esi
call __snprintf
push esi
call _puts
add esp, 28 

在这里，我了解到EAX寄存器将包含__alloca_probe_16函数的参数。但现在有些东西对我来说没有意义。根据我的理解，函数__alloca_probe_16基本上只是从ESP中减去EAX值中的字节数。

例如，如果ESP现在指向1000，则它指向400。然后，我们将400存储到ESI中，并开始将_snprintf的自变量推送到堆栈，_snprintf0指向函数需要开始写入数据的位置。所以我的问题是，如果ESP和ESI寄存器都指向400，并且我从1000-400(600字节(分配内存，并且我开始将东西推到堆栈上，它们不会进入从400开始并递减的位置吗？我的意思是，如果不使用它们，为什么要减去600字节？在我看来，push esi行之后的堆栈就是这样的。

|          400          |
|          600          |
|    adrr of string     |
|           1           |
|           2           |
|           3           | 400 , ESP , ESI
|                       | ...
|_______________________| 1000

我知道我可能错了，没有理解正确的东西，因为我不认为这本书是错的，如果有人能帮助我理解这个汇编代码中发生了什么，我会很高兴。

Answer 1

因此，例如，如果ESP现在指向1000，则它指向400。然后我们将400存储到ESI中，并开始将_snprintf的自变量推送到堆栈，ESI指向函数需要开始向其写入数据的位置。

右。

所以我的问题是，如果ESP和ESI寄存器都指向400，并且我从1000-400(600字节(分配内存，并且我开始将东西推入堆栈，它们不会进入从400开始并递减的位置吗？

是的，当然会。

我的意思是，如果我不使用它们，我们是否减去了600字节？

您还没有使用该空间，但您已经使其可用，以便snprintf有一个位置来写入它生成的字符串，并将地址400(位于ESI中(传递给它以告诉它这样做。当snprintf返回时，字符串"hi! 1, 2, 3 n"将从地址400开始存储。

当然，对于这么短的字符串，您实际上并不需要600个字节；这只是一个例证。如果你愿意，你可以把它做得更小。