Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter Oldenbourg November 5, 2010

Dynamic Object Flow Analysis

Dynamische Objekt-Fluss-Analyse
  • Adrian Lienhard

Abstract

The behavior of an object-oriented software system is notoriously hard to understand from the source code alone. The main reason is the large gap between the program´s static structure and its actual runtime behavior. Complementary to static analysis, dynamic analysis can help to close this gap by investigating the properties of a running program. The state of the art in dynamic analysis focuses on investigating runtime control flow and structures of object graphs, but a thorough analysis of how objects are passed through a system is missing. This article provides an overview of the thesis “Object Flow Analysis”, our approach to track object flow by explicitly representing object references and reference transfer. Object Flow Analysis provides an effective and original way of analyzing and runtime monitoring dependencies introduced by object aliasing. A key contribution of our work is that we advance the state of the art in “back-in-time debugging”.

Zusammenfassung

Alleine mithilfe des Quellcodes ist das Verhalten eines objektorientierten Software-Systems schwierig zu verstehen. Ein wichtiger Grund ist die große Lücke zwischen der statischen Struktur eines Programms und dessen tatsächlichem Verhalten zur Laufzeit. Komplementär zu einer statischen Analyse kann eine dynamische Analyse helfen, diese Lücke zu schließen. Die heutigen dynamischen Analyse-Methoden zielen auf die Ermittlung des Laufzeit-Kontrollflusses und auf die Struktur von Objekt-Graphen. Eine eingehende Analyse des Flusses der Objekte hingegen fehlte bisher. Dieser Artikel gibt einen Überblick über die Dissertation mit dem Titel “Dynamic Object Flow Analysis”, unserem Ansatz, um den Fluss von Objekten rückverfolgbar zu machen, indem Objektreferenzen und deren Weitergabe explizit abgebildet werden. Object Flow Analysis bietet einen wirksamen und neuartigen Ansatz der Analyse und des Monitoring von Abhängigkeiten, die durch Objekt-Aliasing entstehen. Unsere Arbeit verbessert den Stand der Technik im Bereich des Back-in-time-Debugging.


* Correspondence address: Universität Bern, Institut für Informatik, Neubrückstr. 10, 3012 Bern, Schweiz,

Published Online: 2010-11-05
Published in Print: 2010-12

© by Oldenbourg Wissenschaftsverlag, Bern, Germany

Downloaded on 19.3.2024 from https://www.degruyter.com/document/doi/10.1524/itit.2010.0615/html
Scroll to top button