Doop-Soot: Parallel Fact Generation

Πτυχιακή Εργασία uoadl:1324521 522 Αναγνώσεις

Μονάδα:
Τομέας Υπολογιστικών Συστημάτων και Εφαρμογών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2016-05-13
Έτος εκπόνησης:
2016
Συγγραφέας:
Μούρης Δημήτρης
Στοιχεία επιβλεπόντων καθηγητών:
Γιάννης Σμαραγδάκης
Πρωτότυπος Τίτλος:
Doop-Soot: Parallel Fact Generation
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Doop-Soot: Παραλληλοποίηση της Δημιουργίας Γεγονότων
Περίληψη:
Τα τελευταία χρόνια γίνεται όλο και πιο δημοφιλής η χρήση (συν)επαγωγικών
βάσεων δεδομένων στη δηλωτική ανάλυση προγραμμάτων. Μια από τις πιο
χαρακτηριστικές περιπτώσεις είναι βάσεις δεδομένων που χρησιμοποιούν Datalog. Η
παραγωγή της αρχικής πληροφορίας που εισάγεται στη βάση δεδομένων για το
αναλυόμενο πρόγραμμα σε πολλές περιπτώσεις είναι εξίσου δαπανηρή σε χρόνο με
την ανάλυση του προγράμματος, ειδικά όσο το μέγεθος αυτού αυξάνεται.
Σε αυτή την πτυχιακή παρουσιάζουμε την παραλληλοποίηση της διαδικασίας
παραγωγής της αρχικής πληροφορίας από Java bytecode με σκοπό να χρησιμοποιηθεί
για ανάλυση δεικτών σε προγράμματα Java από το Doop framework. Ο στόχος μας
είναι να αξιολογήσουμε τα οφέλη που προσφέρει μια παράλληλη υλοποίηση σε σχέση
με την ακολουθιακή.
Λέξεις-κλειδιά:
στατική ανάλυση προγραμμάτων, doop framework, soot framework, δημιουργία γεγονότων, πολυνηματισμός σε java
Ευρετήριο:
Ναι
Αρ. σελίδων ευρετηρίου:
1-11
Εικονογραφημένη:
Ναι
Αρ. βιβλιογραφικών αναφορών:
4
Αριθμός σελίδων:
45