debugging - tutorial - que es gdb

¿Cómo inspeccionar el valor de retorno de una función en GDB?

Question

¿Es posible inspeccionar el valor de retorno de una función en gdb suponiendo que el valor de retorno no está asignado a una variable?

Answer 1

Así es como todo esto sin símbolos.

gdb ls
This GDB was configured as "ppc64-yellowdog-linux-gnu"...
(no debugging symbols found)
Using host libthread_db library "/lib64/libthread_db.so.1".

(gdb) break __libc_start_main
Breakpoint 1 at 0x10013cb0
(gdb) r
Starting program: /bin/ls
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
(no debugging symbols found)
Breakpoint 1 at 0xfdfed3c
(no debugging symbols found)
[Thread debugging using libthread_db enabled]
[New Thread 4160418656 (LWP 10650)]
(no debugging symbols found)
(no debugging symbols found)
[Switching to Thread 4160418656 (LWP 10650)]

Breakpoint 1, 0x0fdfed3c in __libc_start_main () from /lib/libc.so.6
(gdb) info frame
Stack level 0, frame at 0xffd719a0:
 pc = 0xfdfed3c in __libc_start_main; saved pc 0x0
 called by frame at 0x0
 Arglist at 0xffd71970, args:
 Locals at 0xffd71970, Previous frame''s sp is 0xffd719a0
 Saved registers:
  r24 at 0xffd71980, r25 at 0xffd71984, r26 at 0xffd71988, r27 at 0xffd7198c,
  r28 at 0xffd71990, r29 at 0xffd71994, r30 at 0xffd71998, r31 at 0xffd7199c,
  pc at 0xffd719a4, lr at 0xffd719a4
(gdb) frame 0
#0  0x0fdfed3c in __libc_start_main () from /lib/libc.so.6
(gdb) info fr
Stack level 0, frame at 0xffd719a0:
 pc = 0xfdfed3c in __libc_start_main; saved pc 0x0
 called by frame at 0x0
 Arglist at 0xffd71970, args:
 Locals at 0xffd71970, Previous frame''s sp is 0xffd719a0
 Saved registers:
  r24 at 0xffd71980, r25 at 0xffd71984, r26 at 0xffd71988, r27 at 0xffd7198c,
  r28 at 0xffd71990, r29 at 0xffd71994, r30 at 0xffd71998, r31 at 0xffd7199c,
  pc at 0xffd719a4, lr at 0xffd719a4

El formateo es un poco desordenado, tenga en cuenta el uso de "marco de información" para inspeccionar marcos, y "marco #" para navegar su contexto a otro contexto (arriba y abajo de la pila)

bt también muestra una pila abreviada para ayudar.

Answer 2

Me imagino que hay mejores formas de hacerlo, pero el comando de finish ejecuta hasta que el marco de pila actual se apaga e imprime el valor de retorno, dado el programa

int fun() {
    return 42;
}

int main( int argc, char *v[] ) {
    fun();
    return 0;
}

Puede depurarlo como tal -

(gdb) r
Starting program: /usr/home/hark/a.out 

Breakpoint 1, fun () at test.c:2
2               return 42;
(gdb) finish
Run till exit from #0  fun () at test.c:2
main () at test.c:7
7               return 0;
Value returned is $1 = 42
(gdb) 

El comando de finish se puede abreviar como fin . NO use la f , que es la abreviatura de comando de frame !

Answer 3

Sí, solo examine el registro de EAX escribiendo print $eax . Para la mayoría de las funciones, el valor de retorno se almacena en ese registro, incluso si no se usa.

Las excepciones a esto son funciones que devuelven tipos de más de 32 bits, específicamente enteros de 64 bits ( long long ), double s, y structs o classes .

La otra excepción es si no está ejecutando una arquitectura Intel. En ese caso, deberá averiguar qué registro se utiliza, si corresponde.