在x86 / OSX中使用pop / push的Segfault

时间:2014-11-12 09:31:11

标签: macos assembly

我很难理解为什么这个x86汇编代码在OSX上与gcc 4.2.1(llvm)编译得很好,但在运行可执行文件时会出现分段错误:

    .globl  _main
_main:
        push    %rbp
        mov     %rsp, %rbp
        mov     $1, %rbx
        push    %rbx
        lea     L_.str0(%rip), %rdi
        mov     %rbx, %rsi
        call    _printf
        pop     %rbx
        pop     %rbp
        ret

        .section        __TEXT,__cstring,cstring_literals
L_.str0:
        .asciz  "%d \000"

我观察到如果pop %rbx行在call _printf之前移动,那么程序就能正常工作。但它为什么要以原来的形式失败呢?

1 个答案:

答案 0 :(得分:3)

以下问题详细解答了这个问题:How to print argv[0] in NASM?以及x86 Assembly on a Mac。在MacOSX上编程程序集时,它本质上是一个问题。

总结:

  • 此seg故障是由于堆栈未对准造成的。
  • 仅在使用System V调用约定(包括MacOSX,但不包括Linux)的操作系统上发生这种情况,该操作系统在进行函数调用之前坚持要求堆栈指针为16的倍数(例如printf )。

一个简单的解决方案是在调用之前对齐堆栈指针(即,按照Sys V要求对齐16个字节的倍数),并在调用后恢复它:

.globl  _main
_main:
        push    %rbp
        mov     %rsp, %rbp
        mov     $1, %rbx
        lea     L_.str0(%rip), %rdi
        mov     %rbx, %rsi
        push    %rbx

    mov %rsp, %rax   ; Save copy of the stack pointer (SP)
    and $-16, %rsp   ; Align the SP to the nearest multiple of 16.
    sub $8, %rsp     ; Pad the SP by 8 bytes so that when we ...  
    push %rax        ; push the saved SP (=8 bytes on a 64-bit OS), 
                     ; we remain aligned to 16 bytes (8+8 = 16).

        call    _printf

    pop %rax         ; retrieve the saved SP
    mov %rax, %rsp   ; restore SP using saved value. 

        pop     %rbx
        pop     %rbp
        ret

        .section        __TEXT,__cstring,cstring_literals
L_.str0:
        .asciz  "%d \000"