EPL475:Εργαστήριο 5, GDB

Transcript

1 EPL475:Εργαστήριο 5, GDB Στο σημερινό εργαστήριο θα χρησιμοποιήσουμε το εργαλείο gdb για αποσφαλμάτωση. Με το τέλος αυτού του εργαστήριου οι φοιτητές θα μπορούν να: Να φορτώνουν εκτελέσιμο αρχείο στον gdb και να κάνουν αποσφαλμάτωση Να βάζουν breakpoints Να εκτελούν εντολη εντλοη ένα προγραμμα Να βλέπουν περιεχόμενα μνήμης Βήμα 1: Μεταγλωττίστε το πιο κάτω πρόγραμμα #include <stdio.h> void display(void) { unsigned int a = 0xdeadbeef; printf("hello World: 0x%x\n", a); } int main(int argc, char *argv[]) { display(); return 1; } $gcc -Wall -ggdb -m32 -fno-pic -fno-stack-protector test.c -o test Compiler options: -Wall display all warnings -ggdb debugging information for gdb -m32 compile to Intel 32-bit machine code -no-pie do not produce position independent executable -fno-pic do not produce position independent code -fno-stack-protector do not use stack canaries

2 Να τρέξετε το πρόγραμμα σας: $./test Βήμα 2: Φορτώστε το πρόγραμμα σας στον debugger gdb Εάν επιθυμείτε να χωρίσετε την οθόνη στα δυο εκτελεστέ την εντολή $gdb -tui./test Διαφορετικά εκτελεστέ $ gdb./test GNU gdb (Ubuntu ubuntu1) git Copyright (C) 2017 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later < This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "x86_64-linux-gnu". Type "show configuration" for configuration details. For bug reporting instructions, please see: < Find the GDB manual and other documentation resources online at: < For help, type "help". Type "apropos word" to search for commands related to "word"... Reading symbols from./test...(no debugging symbols found)...done. r [Inferior 1 (process 25686) exited with code 01]

3 Βήμα 3: Φορτώστε το πρόγραμμα σας στον debugger gdb, τρέξετε το μέχρι την συνάρτηση main, να δείτε τον κώδικα της συνάρτησης main και να προχωρήσετε μέχρι το τέλος του προγράμματος. start (stops at main function) Temporary breakpoint 1 at 0x804843c Temporary breakpoint 1, 0x c in main () disas Dump of assembler code for function main: 0x e <+0>: lea 0x4(%esp),%ecx 0x <+4>: and $0xfffffff0,%esp 0x <+7>: pushl -0x4(%ecx) 0x <+10>: push %ebp 0x <+11>: mov %esp,%ebp 0x b <+13>: push %ecx => 0x c <+14>: sub $0x4,%esp 0x f <+17>: call 0x804840b <display> 0x <+22>: mov $0x1,%eax 0x <+27>: add $0x4,%esp 0x c <+30>: pop %ecx 0x d <+31>: pop %ebp 0x e <+32>: lea -0x4(%ecx),%esp 0x <+35>: ret End of assembler dump. c [Inferior 1 (process 25704) exited with code 01] Βήμα 4: Να βάλετε ένα breakpoint στην συνάρτηση display και να τρέξετε το πρόγραμμα μας μέχρι το breakpoint, να παρατηρήσετε τον κώδικα τις συναρτήσεις display, μετα να τρέξετε το πρόγραμμα σας μέχρι το τέλος του προγράμματος. b display Breakpoint 2 at 0x r Breakpoint 2, 0x in display ()

4 disas Dump of assembler code for function display: 0x b <+0>: push %ebp 0x c <+1>: mov %esp,%ebp 0x e <+3>: sub $0x18,%esp => 0x <+6>: movl $0xdeadbeef,-0xc(%ebp) 0x <+13>: sub $0x8,%esp 0x b <+16>: pushl -0xc(%ebp) 0x e <+19>: push $0x80484e0 0x <+24>: call 0x80482e0 0x <+29>: add $0x10,%esp 0x b <+32>: nop 0x c <+33>: leave 0x d <+34>: ret End of assembler dump. c [Inferior 1 (process 25707) exited with code 01] Βήμα 5: Να ελέγξετε τα breakpoints, να διαγράψετε και να προσθέσετε breakpoint στην συνάρτηση display info b Num Type Disp Enb Address What 2 breakpoint keep y 0x <display+6> breakpoint already hit 1 time d 2 b display Breakpoint 3 at 0x r Breakpoint 3, 0x in display () c [Inferior 1 (process 25710) exited with code 01] quit

5 Βήμα 6: Τρέξετε το πρόγραμμα σας μέχρι την συνάρτηση main, ελέγξετε τους καταχώρητες και τρέξετε το μέχρι την συνάρτηση display. Να εκτελείται εντολή εντολή και να ελέγχετε τον stack σας, επίσης να βρείτε το EBP και την διεύθυνση επιστροφής. b display Breakpoint 1 at 0x : file test.c, line 5. start Temporary breakpoint 2 at 0x804843f: file test.c, line 12. Temporary breakpoint 2, main (argc=1, argv=0xffffd384) at test.c:12 12 display(); i r eax 0xf7fb6dbc ecx 0xffffd2f edx 0xffffd ebx 0x0 0 esp 0xffffd2d0 0xffffd2d0 ebp 0xffffd2d8 0xffffd2d8 esi 0x1 1 edi 0xf7fb eip 0x804843f 0x804843f <main+17> eflags 0x282 [ SF IF ] cs 0x23 35 ss 0x2b 43 ds 0x2b 43 es 0x2b 43 fs 0x0 0 gs 0x63 99 c Breakpoint 1, display () at test.c:5 5 unsigned int a = 0xdeadbeef; i r eax 0xf7fb6dbc ecx 0xffffd2f edx 0xffffd ebx 0x0 0 esp 0xffffd2b0 0xffffd2b0 ebp 0xffffd2c8 0xffffd2c8 esi 0x1 1 edi 0xf7fb

6 eip 0x x <display+6> eflags 0x282 [ SF IF ] cs 0x23 35 ss 0x2b 43 ds 0x2b 43 es 0x2b 43 fs 0x0 0 gs 0x63 99 disas Dump of assembler code for function display: 0x b <+0>: push %ebp 0x c <+1>: mov %esp,%ebp 0x e <+3>: sub $0x18,%esp => 0x <+6>: movl $0xdeadbeef,-0xc(%ebp) 0x <+13>: sub $0x8,%esp 0x b <+16>: pushl -0xc(%ebp) 0x e <+19>: push $0x80484e0 0x <+24>: call 0x80482e0 <printf@plt> 0x <+29>: add $0x10,%esp 0x b <+32>: nop 0x c <+33>: leave 0x d <+34>: ret End of assembler dump. ni 7 printf("hello World: 0x%x\n", a); x/32x $ebp-32 0xffffd2a8: 0xf7ffcd00 0x x xffffd384 0xffffd2b8: 0xf7e2f940 0xdeadbeef 0x xffffd384 0xffffd2c8: 0xffffd2d8 0x xf7fb53dc 0xffffd2f0 0xffffd2d8: 0x xf7e x xf7fb5000 0xffffd2e8: 0x xf7e x xffffd384 0xffffd2f8: 0xffffd38c 0x x x xffffd308: 0xf7fb5000 0xf7ffdc04 0xf7ffd000 0x xffffd318: 0x xf7fb5000 0x x4ce28a7c where #0 display () at test.c:7 #1 0x in main (argc=1, argv=0xffffd384) at test.c:12 NOTES: 1) Before breaking to display() EBP has value: 0xffffd2d8 2) The return address is 0x (shown in the 'where' command) 3) Address for argv is 0xffffd384 4) The stack should be (from higher address to lower addresses):

7 Return Address EBP pointer to argv argc Local variables (0xdeadbeef) All these should be identified by the students. Βήμα 7: Να γράψετε ένα πρόγραμμα το οποίο εμφανίζει τις πληροφορίες του stack, frame pointer, argv,argc (Write a program that dumps the stack (display the return address, the frame pointer, argv, etc.).