Question

平台是x86_64 Windows 7。

这是C源代码：

#include<windows.h>
int main(void){
    asm("int3");
    CreateWindowEx(0,NULL,NULL,0,5,6,7,8,NULL,NULL,NULL,NULL);
    return(0);
}

编译为以下程序集：

push rbp
mov rbp,rsp
sub rsp,60h
int3
mov qword[rsp+58h],0
mov qword[rsp+50h],0
mov qword[rsp+48h],0
mov qword[rsp+40h],0
mov qword[rsp+38h],8
mov qword[rsp+30h],7
mov qword[rsp+28h],6
mov qword[rsp+20h],5
mov r9d,0
mov r8d,0
mov edx,0
mov ecx,0
call CreateWindowEx
mov eax,0
add rsp,60h
pop rbp
ret

从概念上讲，这就是我在不同执行点的堆栈（地址是任意的）：

90 -rsp-

90 old rbp
88 -rsp-

90 old rbp
88 -rsp- -rbp-

90 old rbp
88 -rbp- (never used?)
80 (rsp+58h)
78 (rsp+50h)
70 (rsp+48h)
68 (rsp+40h)
60 (rsp+38h)
58 (rsp+30h)
50 (rsp+28h)
48 (rsp+20h)
40 (shadow)
38 (shadow)
30 (shadow)
28 -rsp- (shadow) (will contain call instruction's return pointer...)

正如您所看到的，根据C程序的编译输出，堆栈存在问题。首先，有8个字节永远不会被使用，并且8个字节的阴影空间将被返回指针的调用指令覆盖。似乎一切都比它应该向下移动了8个字节，因为如果向上移动8个字节就没问题。然而，API调用正如预期的那样工作，这只是忽略了Microsoft对调用约定的实现吗？

Answer 1

当某些内容被推入堆栈时，新项目不会在指令启动时rsp指向的位置 - rsp在存储新项目之前递减（即，堆栈） rsp指向的位置正在使用中。

因此，如果rsp ==0x90启动该功能时，旧rbp将位于地址0x88（并且rbp将指向该地址。）< / p>

然后，当执行rsp == 0x28和call指令时，返回地址将放在地址0x20中，而不是0x28。

与x86_64 Windows调用约定混淆

1 个答案: