程序集 8086 - 从堆栈中推送和弹出寄存器不起作用

Question

我是一个初学者，出于某种原因，从堆栈中推入和弹出并不适合我。我的引导程序：

org 0x7c00
bits 16
jmp main
print:
    pop bx
    mov al, [bx]
    mov ah, 0eh
    int 10h
    ret
main:
    mov bx, msg
    push bx
    call print

    cli
    hlt

    msg: db 'Hello World!', 0
    times 510 - ($-$$) db 0
    dw 0xAA55

我相信这应该做的是，将地址msg 从bx 压入堆栈，然后将其检索到bx。然而，情况似乎并非如此。 'H' 不会被打印出来。而是打印 '-'。如果我使用msg 作为有效地址，它就可以工作。

编辑：正如 Duncan 指出的，call 指令将返回地址压入堆栈顶部，这使得上述程序使用该返回地址进行 BIOS 中断！我现在把pop的返回地址改成dx然后把pop改成bx，完成后使用bx和jmp的值改成dx！

org 0x7c00
bits 16
jmp main
print:
    pop dx
    pop bx
    mov al, [bx]
    mov ah, 0eh
    int 10h
    jmp dx
main:
    mov bx, msg
    push bx
    call print

    cli
    hlt

    msg: db 'Hello World!', 0
    times 510 - ($-$$) db 0
    dw 0xAA55

Answer 1

call 指令将程序计数器压入堆栈，ret 从堆栈中弹出顶部值并跳转到它。

因此，您不能通过在调用之前将参数推送并在调用中弹出它们来将参数传递给函数，因为保存的 pc 会妨碍。

选项可能包括设置帧指针，以便您可以访问仍在堆栈上的参数，然后将它们作为返回的一部分弹出。

或者对于这么简单的事情，您可以将返回地址弹出到另一个寄存器中，而不是返回，而是直接跳转到它。

Answer 2

从jmp far 0:main 开始，将cs:ip 标准化，因为有些BIOS 会用cs=0 调用你，有些用cs=0x07c0。

print:
    pop bx
    mov al, [bx]
    mov ah, 0eh
    int 10h
    ret

也许你在 shell 漏洞利用中看到过类似的东西，但正确的用法是这样的：

    call print  ; this will put `msg` at top of stack!
msg: db 'H'
print:
    pop bx      ; load `msg` address
    ... no RET !! (there's nowhere to return to)

这是一个技巧，当您不知道代码将位于何处时，如何将正确的偏移量放入堆栈（shell 漏洞利用通常会进入某个缓冲区溢出区域，并带有一些随机地址）。

这在引导加载程序中不需要，因为您处于固定位置 0000:7C00 并且您可以按此方式进行组装，因此对 print 等自定义过程使用一些自定义“通过寄存器传递参数值”调用约定很好，无需涉及完全堆栈（除了使用它来存储 call + ret 对的返回地址）。

---

在使用堆栈之前也要初始化堆栈，例如，在 main 的开头你可能想要这样做：

main:
    ; set ss:sp to 0000:7C00 (so you have about ~29kB of RAM for stack)
    xor ax,ax
    mov ss,ax       ; disables interrupts for 1 more instruction
    mov sp,0x7C00   ; so sp set must follow the `ss` setup

当然不要将它用于任何深度递归，29kB 是小堆栈（但对于合理编写的引导加载程序来说已经足够了，只从磁盘加载一些内核，实际上 100-200B 的堆栈应该足够了）。

当然还要设置ds！正如你所做的mov al,[bx] 一样，ds 已经设置好了。在您的情况下，最简单的方法是将所有内容保留在0000:7C00，因此在mov ss,ax 之前您也可以使用mov ds,ax。