RET вызывает Segfault в сборке

Question

У меня есть следующий код Assembly:

.text 
.global main 
main: 
    push %r13 
    push %r14 
    push %r15 
    jmp rest 
x:  
    .data 
    y0: .quad 0 
    .text 
    mov %r14, y0 
    mov $format,%rdi 
    push y0 
    popq %rsi 
    movq %rsi, %r15 
    call printf 
    mov $format,%rdi 
    mov $10,%rsi 
    call printf 
    ret 
rest:  
    movq $5, %r9 
    pushq %r9 
    popq %rsi 
    movq %rsi, %r14 
    jmp x 
    mov $0,%rax 
    pop %r15 
    pop %r14 
    pop %r13 
    ret 
.data 
format: 
.byte 37 
.byte 108 
.byte 117 
.byte 0 

Я надеялся, что в отставке сделает программу переходить туда, где это было: однако, я получаю ошибку сегментации. Почему это?

Answer 1

Эти проблемы почти всегда, вызванные сбоем очистки стека. То же самое верно и в вашем случае.

Вы начинаете с:

main: 
    push %r13 
    push %r14 
    push %r15 
    jmp rest 

В течение rest вы затем

jmp x 

В пределах x вы это делаете:

mov $format,%rdi 
mov $10,%rsi 
call printf 
ret 

Это оставляет вас три вещи, сидя на стеке, что вы не справились. Когда этот ret выполнен, он перемещает предыдущее значение %r15 в указатель инструкции и segfaults.

ret не будет возвращаться из скачка. Он возвращается к инструкции, следующей за call.