ubuntu - 汇编通过堆栈传递变量

Question

因此，在为了好玩而涉足了一些组装之后，我现在陷入了调用程序的困境。

...
_start:
    push dword len
    push dword msg

    call print

    mov eax, SYS_EXIT
    mov ebx, 0
    int 80h

print: ; *char (message), int (len) -> push len, then message
    mov eax, SYS_WRITE
    mov ebx, STDOUT
    pop ecx
    pop edx
    int 80h
    ret

当我运行这个程序集时

nasm -f elf program.asm && ld -m elf_i386 -o program program.o && ./program

它打印出程序的所有内容然后出现段错误，而如果我用打印功能的内容替换“调用打印”，它工作正常。

Answer 1

下面的代码是您应该编写它的方式:

_start:
    push dword len
    push dword msg
    call print
    add esp, 8 ; equivalent to 2 32-bit POP instructions
               ; (effectively "undoes" the above PUSH instructions
               ;  to restore the stack to its original state)

    mov eax, SYS_EXIT
    mov ebx, 0
    int 80h

print: ; *char (message), int (len) -> push len, then message
    mov eax, SYS_WRITE
    mov ebx, STDOUT
    mov ecx, [esp+4]  ; load "msg" from stack using an offset from ESP
    mov edx, [esp+8]  ; load "length" from stack using an offset from ESP
    int 80h
    ret

问题是堆栈没有指向它应该指向的位置。您必须记住堆栈的后进先出性质，还要考虑 call和 ret指令影响堆栈指针。当你call一个函数，返回地址被压入堆栈，所以当你执行 pop print 内部, 你实际上是从堆栈中弹出返回值，这不仅给你错误的值，而且还会破坏你的能力 ret稍后瓮。

检索传递给堆栈上函数的参数的正确方法是通过堆栈指针的偏移量(ESP)。第一个参数位于 ESP + 4 (在 call 压入堆栈的 4 字节返回地址之后)。有关其他信息，您可以查找 C 代码常用的 STDCALL 和 CDECL 调用约定。