Optimizing Dynamic Traces Using Symbolic Execution

Διπλωματική Εργασία uoadl:1325234 82 Αναγνώσεις

Μονάδα:
Τμήμα Πληροφορικής & Τηλεπικοινωνιών
Πληροφορική
Ημερομηνία κατάθεσης:
2016-11-23
Έτος εκπόνησης:
2016
Συγγραφέας:
Χατζημιχαήλ Ευθύμιος
Στοιχεία επιβλεπόντων καθηγητών:
Σμαραγδάκης Γιάννης, Καθηγητής, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ
Φουρτούνης Γιώργος, Δρ. Ηλ. Μηχανικός & Μηχανικός Η/Υ, Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Η/Υ, ΕΜΠ
Πρωτότυπος Τίτλος:
Optimizing Dynamic Traces Using Symbolic Execution
Γλώσσες εργασίας:
Αγγλικά
Ελληνικά
Μεταφρασμένος τίτλος:
Βελτιστοποίηση σε Δυναμικά Ίχνη με Συμβολική Εκτέλεση
Περίληψη:
Σε αυτή τη διπλωματική εργασία εξετάζουμε ίχνη εκτέλεσης διεργασιών και εκτελούμε βελτιστοποιήσεις πάνω σε αυτά. Εστιάζουμε στην πιθανότητα βελτιστοποίησης του κώδικα έχοντας κάνει υποθέσεις για την πρόσβαση στη μνήμη και τον έλεγχο ροής. Με βάση τις υποθέσεις μας, χρησιμοποιούμε συμβολική εκτέλεση ώστε (α) να βρούμε ευκαιρίες βελτιστοποίησης στο εύρος του ίχνους και (β) να εκτελέσουμε τις βελτιστοποιήσεις αυτές. Δείχνουμε ότι ευκαιρίες βελτιστοποίησης υπάρχουν σε ίχνη πραγματικών προγραμμάτων και θεωρούμε τρόπους για το πώς οι υποθέσεις μας μπορούν να προσαρμοστούν στις προϋποθέσεις ενός δυναμικού περιβάλλοντος.
Κύρια θεματική κατηγορία:
Τεχνολογία – Πληροφορική
Λέξεις-κλειδιά:
Δυναμική Συμβολική Εκτέλεση, Συμβολική Εκτέλεση, Αρχιτεκτονική x86, DynamoRIO, Βελτιστοποίηση, Αφαίρεση Κοινών Υποεκφράσεων
Ευρετήριο:
Ναι
Αρ. σελίδων ευρετηρίου:
2
Εικονογραφημένη:
Ναι
Αρ. βιβλιογραφικών αναφορών:
20
Αριθμός σελίδων:
49

 


thesis.zip
1014 KB
Δεν επιτρέπεται η πρόσβαση στο αρχείο.