| | |
Summary: A Static Analysis for Extracting Runtime Views from Annotated
Object-Oriented Code
Marwan Abi-Antoun
Carnegie Mellon University,
5000 Forbes Avenue,
Pittsburgh, PA 15213
marwan.abi-antoun@cs.cmu.edu
Jonathan Aldrich
Carnegie Mellon University,
5000 Forbes Avenue,
Pittsburgh, PA 15213
jonathan.aldrich@cs.cmu.edu
Abstract
We demonstrate a static analysis for extracting instance-based hier-
archical views showing the runtime object graph for object-oriented
programs. The code is annotated with ownership domain annota-
tions and with additional annotations to make the output more vi-
sually appealing.
Categories and Subject Descriptors D.3.3 [Programming Lan-
guages]: Language Constructs and Features
|
