问题描述
我对汇编语言非常陌生,目前正在阅读一本书,名为《面向初学者的逆向工程》 ,我的那部分内容是关于堆栈上的内存分配的。 我理解(我认为)堆栈分配的概念,但是在示例中,我有些不了解的地方,如果有人可以帮助我,我会很高兴。
本书以此功能为例:
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字节;这只是一个示例。您可以根据需要将其缩小。