在 64 位 linux 上返回 C 代码 x86 编译中的汇编函数

问题描述

C 代码

#include <stdio.h>

int fibonacci(int);

int main()

{

    int x = fibonacci(3);

    printf("Fibonacci is : %d",x);

    return 0;
}

组装

section .text

global fibonacci

fibonacci:

    push ebp;
    mov ebp,esp;
    ; initialize
    mov dword [prev],0x00000000;
    mov dword [cur],0x00000001;
    mov byte [it],0x01; 
    mov eax,dword [ebp + 8]; // n = 3
    mov byte [n],al;

getfib:

    xor edx,edx;
    mov dl,byte [n];
    cmp byte [it],dl;
    jg loopend; 
    mov eax,dword [prev];
    add eax,dword [cur];
    mov ebx,dword [cur];
    mov dword [prev],ebx;
    mov dword [cur],eax;
    inc byte [it];
    jmp getfib;

loopend:

    mov eax,dword [cur];

    pop ebp;

    ret;

section .bss

    it resb 1

    prev resd 1

    cur resd 1

    n resb 1

我试图在 C 代码和调试中运行这个汇编函数，我看到 C 代码中变量 x 中的值是正确的，但是当我使用 printf 函数时出现了一些错误

需要帮助

编译命令：

nasm -f elf32 asmcode.asm -o a.o

gcc -ggdb -no-pie -m32 a.o ccode.c -o a.out

如果图片看起来模糊，请单击下面的图片

下面是 printf 执行前的调试

下面是 printf 执行后

解决方法

您的代码不保留 ebx 寄存器，它是一个被调用者保留的寄存器。 main 函数显然尝试进行一些 rip 相对寻址，以使用 printf 作为基址寄存器获取 ebx 的格式字符串的地址。这会失败，因为您的代码覆盖了 ebx。

要解决这个问题，请确保在使用之前保存所有被调用者保存的寄存器，然后在返回时恢复它们的值。例如，你可以这样做

fibonacci:

    push ebp
    mov ebp,esp
    push ebx ; <---

    ...

    pop ebx ; <---
    pop ebp
    ret