Unit:
Κατεύθυνση / ειδίκευση Διαχείριση Πληροφορίας και Δεδομένων (ΔΕΔ)Πληροφορική
Author:
Livisianos Tsampikos
Supervisors info:
Σμαραγδάκης Γιάννης, Καθηγητής, Πληροφορικής και Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Original Title:
Modern heap snapshots to the rescue of static analyses
Translated title:
Modern heap snapshots to the rescue of static analyses
Summary:
Static analyses aim to achieve soundness by covering all possible paths of execution.
They fail to do so because modern programs use increasingly more and more dynamic
features that are difficult to model statically. Whole-heap snapshots taken during program
execution may be leveraged in order to improve the coverage of an analysis. These snap-
shots capture significant aspects of dynamic behavior that can be extracted and then used
as extra inputs to the static analysis. This allows an analysis to explore dynamic behavior
that would otherwise be unreachable. In the context of this thesis we introduce a new
whole-heap snapshot capturing approach that aspires to reduce the overall overhead of
the process by taking advantage of features introduced in Java 11.
Main subject category:
Technology - Computer science
Keywords:
Static Program Analysis, Heap Profiling, Instrumentation
