试图了解x86上alloca函数的Assembly实现

如何解决试图了解x86上alloca函数的Assembly实现

我对汇编语言非常陌生，目前正在阅读一本书，名为《面向初学者的逆向工程》 ，我的那部分内容是关于堆栈上的内存分配的。 我理解（我认为）堆栈分配的概念，但是在示例中，我有些不了解的地方，如果有人可以帮助我，我会很高兴。

本书以此功能为例：

G3

我了解C函数的作用。它在堆栈上分配600字节的内存，然后将字符串“ hi！”写入该空间。使用Groups COL1 COL2 COL3 G1 SP1_1 34 130 G1 SP1_2 23 12 G1 SP3_1 43 110 G2 SP1_1 32 40 G2 SP2_1 34 39 G3 SP1_1 32 13 G3 SP2_1 21 140 函数。然后该函数将其打印出来。

目前一切正常。之后，本书给出了MSVC编译器生成的程序集实现，其代码如下所示：

#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,%d\n",1,2,3); // GCC
#else
    _snprintf (buf,3); // MSVC
#endif
    puts (buf);
};

在这里，我了解_snprintf 寄存器将包含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值中的字节数。

例如，如果EAX指向1000，现在它指向400。那么我们将400存储到ESP中，并开始将ESP的参数推入堆栈和{{1} }指向函数需要开始向其写入数据的位置。 所以我的问题是，如果ESI和_snprintf寄存器都指向400，并且我从1000-400（600字节）分配了内存，并且我开始将内容压入堆栈，不是吗进入从400开始下降的位置？我的意思是，如果不使用它们，为什么要减去600字节呢？ 在我看来，这就是ESI行之后的堆栈外观。

ESP

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

解决方法

例如，如果ESP指向1000，现在它指向400。则我们将400存储到ESI中，并开始将_snprintf的参数推入堆栈，ESI指向函数需要开始写入的位置数据。

对。

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

是的，当然会。

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

您还没有使用该空间 ，但是您已经提供了该空间，以便snprintf有一个地方可以写它产生的字符串，并将其传递给地址400（告诉ESI这样做。返回snprintf时，将从地址400开始存储字符串"hi! 1,2,3 \n"。

当然，对于这么短的字符串，您实际上并不需要600字节；这只是一个示例。您可以根据需要将其缩小。