Unit:
Τομέας Υπολογιστικών Συστημάτων και ΕφαρμογώνLibrary of the School of Science
Supervisors info:
Γιάννης Σμαραγδάκης
Original Title:
Doop-Soot: Parallel Fact Generation
Translated title:
Doop-Soot: Παραλληλοποίηση της Δημιουργίας Γεγονότων
Summary:
The use of deductive databases for declarative program analysis has become
increasingly popular in recent years. A typical example is Datalog databases.
Generating the initial data that is kept in the database is often as expensive
as the program analysis itself and does
not scale well as the program size increases.
In this thesis we present a parallel approach of the fact-generation process
from Java bytecode in order to perform pointer, or points-to analysis in Java
programs using the Doop framework. Our goal is to evaluate the benefits of a
parallel implementation compared to the non-parallel one.
Keywords:
static program analysis, doop framework, soot framework, fact generation, java multi-threading
Number of index pages:
1-11
