Assignment 6: Systems Security: Buffer Overrun Attack

Σκοπός

Ο στόχος της άσκησης αυτής είναι να βοηθήσει στην εκμάθηση/κατανόηση (1) της αναπαράστασης προγραμμάτων στη μνήμη, (2) της μορφής και χρήσης της στοίβας, (3) προβλημάτων ασφαλείας που υπάρχουν σε σημερινά συστήματα και προγράμματα.

Background

Η άσκηση αυτή θα γίνει στα μηχανήματα x86 με λειτουργικό σύστημα GNU/Linux του τμήματος (portokali, milo, rodakino, etc.). Για θέματα της αρχιτεκτονικής του x86 και της γλώσσας assembly που χρησιμοποιεί μπορείτε να συμβουλευτείτε την online έκδοση του βιβλίου: Programming from the Ground Up, Jonathan Bartlett 2004. (Τοπικό αντίγραφο του βιβλίου για ευκολία). Ιδιαίτερα χρήσιμα θα βρείτε τα Chapter 3 και Appendix B.

Δίνεται το πρόγραμμα hello.c και το executable hello, που έχει δημιουργηθεί από το hello.c με την εντολή gcc και τις επιπλέον παραμέτρους "-static -g". Το πρόγραμμα ζητάει το όνομα σας και τυπώνει κάτι όπως το παρακάτω:

            $ hello
            What is your name?
            John
            Thank you, John.
            I recommend that you get a grade of 3 on this assignment.

Ωστόσο, ο συγγραφέας του προγράμματος έκανε το λάθος να μην ελέγχει τα όρια του array μέσα στο οποίο γίνεται η ανάγνωση του input κάνοντας το πρόγραμμα ευάλωτο σε επιθέσεις χρηστών.

Η άσκηση

Στην άσκηση αυτή πρέπει να προετοιμάσετε κατάλληλο "input" για το πρόγραμμα, ώστε να εκμεταλλεύεται το πρόβλημα αυτό και να τυπώνει:

$ hello < data
What is your name?
Thank you, John.
I recommend that you get a grade of 9 on this assignment.

Όπως μπορείτε να δείτε από τον source κώδικα του προγράμματος, έχει γραφτεί ώστε να μην δίνει 9 σε κανένα, κάτω υπό οποιαδήποτε συνθήκες. Ωστόσο, ο κώδικας είναι γραμμένος με κακό τρόπο: διαβάζει input σε ένα buffer, αλλά δεν ελέγχει αν το input χωράει στον buffer. Αυτό σημαίνει ότι input το οποίο είναι αρκετά μεγάλο σε μήκος μπορεί να κάνει overwrite άλλες σημαντικές πληροφορίες στη μνήμη του προγράμματος, και να ξεγελάσει το πρόγραμμα ώστε να δώσει βαθμό 9 σε όποιονθέλετε.

1. Απαντήστε στην παρακάτω ερώτηση

Αναφέρετε στο readme file της άσκησης σας ποιο ή ποια από τα πρώτα 8 άρθρα (articles) της Συνθήκης για το Ηλεκτρονικό Έγκλημα (Convention on Cybercrime) καθιστούν παράνομη τη χρήση επίθεσης με buffer overrun attack; Θα χρειαστεί να διαβάσετε τα αντίστοιχα άρθρα της συνθήκης και ίσως βρείτε χρήσιμη και την σχετική αναφορά με επεξηγήσεις.

2. Αναλύστε το πρόγραμμα

Πάρτε το executable hello που δίνεται και χρησιμοποιήστε τον gdb για να αναλύσετε τα διάφορα μέρη του:

            $ gdb hello
            (gdb) x/79i readString

Αντιγράψτε τις 79 γραμμές του text section σε ένα αρχείο traces και προσθέστε σχόλια στον κώδικα που να εξηγούν τι συμβαίνει. Θα πρέπει να χρησιμοποιήσετε ως αναφορά τον source κώδικα του hello.c. Μάλιστα τα σχόλιά σας μπορεί να είναι απλά να δείξετε ποιες εντολές assembly αντιστοιχούν σε ποια κομμάτια του C κώδικα. Δεν χρειάζεται να εξηγήσετε τι κάνει η κάθε γραμμή assembly κώδικα χωριστά.

$ gdb hello
(gdb) print &grade
(gdb) print grade

Τοποθετήστε ένα διάγραμμα του data section στο αρχείο traces δείχνοντας με ακρίβεια τις μεταβλητές που περιέχει και τις διευθύνσεις τους.

$ gdb hello
(gdb) print &Name

Τοποθετήστε ένα διάγραμμα του bss section στο αρχείο traces δείχνοντας με ακρίβεια τις μεταβλητές που περιέχει και τις διευθύνσεις τους.

$ gdb hello
(gdb) break *readString+73
(gdb) run

Δώστε ως input ένα όνομα

(gdb) print $esp
(gdb) print $ebp
(gdb) x/??b $esp # (όπου ?? είναι ο κατάλληλος αριθμός από bytes)

Τοποθετήστε ένα διάγραμμα του stack frame της readString στο αρχείο traces δείχνοντας με ακρίβεια τις τοπικές μεταβλητέςπου περιέχει, τις input παραμέτρους, και τη διεύθυνση επιστροφής της readString σε σχέση με τον stack pointer.

3. Αναγκάστε το hello πρόγραμμα να κάνει crash.

Γράψτε ένα πρόγραμμα που ονομάζεται createdata3 που δημιουργεί ένα αρχείο που ονομάζεται data3, όσο πιο απλό γίνεται, που κάνει το hello program να τερματίσει με segmentation fault (crash). Εξηγήστε στο αρχείο με τον κώδικα με ένα σύντομο σχόλιο την αρχή λειτουργίας του που προκαλεί το crash του hello.

4. Αναγκάστε το hello πρόγραμμα να τυπώσει "6".

Γράψτε ένα C πρόγραμμα που ονομάζεται createdata6 που παράγει ένα αρχείο data6, όσο πιο απλό γίνεται, που αναγκάζει το hello πρόγραμμα να τυπώσει το όνομά σας και να προτείνει ως βαθμό το "6". Μπορείτε να δείτε ότι αυτό είναι πολύ εύκολο αν το όνομα σας είναι Angelos Bilas. Ο τρόπος που μπορείτε να αναγκάσετε το πρόγραμμα σε αυτή τη συμπεριφορά είναι να κάνετε overrun τον buffer (buf) της readString και να γράψετε πάνω στη διεύθυνση επιστροφής της readString (στη στοίβα) μια άλλη (κατάλληλη) διεύθυνση μέσα στη συνάρτηση main.

5. Αναγκάστε το hello πρόγραμμα να τυπώσει "9".

Γράψτε ένα C πρόγραμμα που ονομάζεται createdata9 που παράγει ένα αρχείο data9, όσο πιο απλό γίνεται, που αναγκάζει το hello πρόγραμμα να τυπώσει το όνομά σας και να προτείνει ως βαθμό το "9". Ο τρόπος που μπορείτε να αναγκάσετε το πρόγραμμα σε αυτή τη συμπεριφορά είναι να κάνετε overrun τον buffer (buf) με μια ακολουθία τριών πραγμάτων: (1) το όνομά σας, (2) μια διεύθυνση επιστροφής που δείχνει μέσα στον buffer, και (3) ένα πολύ σύντομο πρόγραμμα σε γλώσσα μηχανής που αποθηκεύει το 9 στη σωστή θέση στη μνήμη και στη συνέχεια κάνει jump στο σωστό σημείο.

Για τα μέρη (6) και (9) αν το όνομά σας είναι πολύ μεγάλο μπορείτε να χρησιμοποιήσετε τους 15 πρώτους χαρακτήρες για την άσκηση.

Bonus (10%-15%): Αναγκάστε το hello πρόγραμμα να τυπώσει "10".

Προσέξτε ότι η printf τυπώνει τον βαθμό ως char. Τι πρέπει να γίνει ώστε να τυπώσει ένα διψήφιο αριθμό?

Παρατηρήσεις για την υλοποίηση:

Makefile

Δημιουργήστε ένα Makefile το οποίο θα περιέχει τουλάχιστον τους εξής targets:

Logistics

Turnin

Υποβάλετε την άσκηση σας όπως αναφέρεται στο section Policies του web page του μαθήματος.

Βαθμολογία

Η βαθμολογία θα βασιστεί και στην ορθότητα αλλά και στο σχεδιασμό, όπως αναφέρεται στη σελίδα Policies του μαθήματος. Όπως πάντα, η κατανόηση της άσκησης είναι σημαντικό μέρος του σχεδιασμού.