assembly - español - nasm tutorial

Asamblea x86, obteniendo falla de segmentación

Question

section .data
msg: db "hello!", 10, 0 ;my message
section .text
extern printf ;C printf function
global main
main:
push ebp
mov ebp, esp
call print_string
mov esp, ebp
pop ebp
ret ;end of program
print_string:
pusha
push msg
call printf ;should print "Hello"
popa
ret ;return back to main

Cuando ejecuto este código obtengo:
¡Hola!
Fallo de segmentación (núcleo volcado)

¿Qué está mal con el código?

Answer 1

La subrutina print_string está modificando el puntero de pila sin restaurarlo. La subrutina main tiene el siguiente diseño:

push ebp ;save the stack frame of the caller
mov ebp, esp ;save the stack pointer
<code for subroutine>
mov esp, ebp ;restore the stack pointer
pop ebp ;restore the caller''s stack frame
ret ;return to address pushed onto the stack by call

De forma similar, la subrutina print_string debe tener el mismo diseño, guardando el puntero de pila y luego restaurándolo antes de ret . Cualquier subrutina que use la pila debe guardar y restaurar el puntero de la pila.

push ebp
mov ebp, esp
pusha
push msg
call printf ;should print "Hello"
add esp, 4
popa
mov esp, ebp
pop ebp
ret

Sin guardar el puntero de pila y restaurarlo, la subrutina llamada modifica el stackpointer, donde la instrucción de call guardó la dirección de retorno. En consecuencia, cuando se encuentra ret , la ejecución salta a la dirección de devolución incorrecta, por lo tanto segfaulting. Obtenga más información sobre las convenciones y funciones de llamada en ensamblaje.

Answer 2

printf espera un puntero empujado en la pila para un argumento, pero bajo la convención de llamadas C es su tarea eliminar este argumento de la pila.

Usted omitió esto y entonces la instrucción popa pone los valores incorrectos en todos los GPRS y la instrucción ret utiliza el valor original de EAX como una dirección de destino desencadenando así un error de segmentación.

Solución 1 limpiando manualmente

print_string:
pusha
push msg
call printf ;should print "Hello"
add esp, 4 ; <-- Clean-up
popa
ret ;return back to main

Solución 2 usando prolog / epilog en print_string

print_string:
push ebp
mov ebp, esp
push msg
call printf ;should print "Hello"
mov esp, ebp ; <-- Clean-up
pop ebp
ret ;return back to main

La solución 2 solo es posible porque printf es una función que se comporta bien y que preserva el registro EBP. Al mover EBP a ESP, cada elemento extra que se empujó entre el prólogo y el epílogo desaparece . La solución 2 puede salvarlo de muchos de los que add esp, 4 instrucciones add esp, 4 (cuando las rutinas se vuelven más largas).