Τμήμα Πληροφορικής & Τηλεπικοινωνιών
Πληροφορική

2016-11-21

2016

Προκοπάκη-Κωστοπούλου Νεφέλη

Σμαραγδάκης Γιάννης, Καθηγητής, Πληροφορικής και Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών

Graph-based data structure for representation of sets of must-alias analysis inferences

Αγγλικά
Ελληνικά

Δομή δεδομένων για αναπαράσταση των αποτελεσμάτων must-alias ανάλυσης

Στην παρούσα πτυχιακή εργασία παρουσιάζουμε μια δομή δεδομένων (με τη μορφή
γράφου), η οποία αναπαριστά τις κλάσεις ισοδυναμίας δεικτών που βρίσκονται σε κάθε
σημείο του προγράμματος, κάτι που είναι χρήσιμο για βελτιστοποιήσεις στη μεταγλώττιση
και για την κατανόηση του προγράμματος.
Σκοπός της εργασίας αυτής είναι η επανα-υλοποίηση σε γλώσσα Java, της αρχικής
υλοποίησης ενός δηλωτικού μοντέλου της ανάλυσης σίγουρης-ισοδυναμίας δεικτών πάνω
σε μονοπάτια πρόσβασης, γραμμένου σε Datalog, που χρησιμοποιείται ήδη από το
framework του Doop. Η νέα υλοποίηση κατασκευάζει μια βελτιστοποιημένη δομή
δεδομένων η οποία κρατά πολλές σχέσεις ισοδυναμίας δεικτών και μονοπατιών
πρόσβασης σε ένα μόνο γράφο και ξεπερνά σε ταχύτητα εκτέλεσης της ανάλυσης την
αρχική υλοποιήση.
Ως είσοδο και έξοδο, χρησιμοποιούμε αρχεία, τα οποία περιλαμβάνουν σχέσεις που
ανταποκρίνονται στα χαρακτηριστικά της ενδιάμεσης γλώσσας που χρησιμοποιείται από το
Doop.

Θετικές Επιστήμες

σίγουρη ισοδυναμία, άνευ συμφραζομένων ανάλυση δεικτών, Java

Όχι

0

Όχι

14

31

https://pergamos.lib.uoa.gr/uoa/dl/object/1324958/file.pdf

https://pergamos.lib.uoa.gr/uoa/dl/object/1324958