A Tool for Ownership and Confinement Analysis of the Java Object Graph

CS-TR-03-7

Authors: Alex Potanin, Elvis Software Design Research Group ~
Source: GZipped PostScript (427kb); Adobe PDF (163kb)


This paper is an extended abstract for a poster that presents a tool for the analysis of Java heap snapshots. The tool supports a flexible query language to measure various aspects of the object graph related to the studies of uniqueness, ownership, encapsulation and confinement. One of the applications of our tool was the verification of the power law dependency in the distribution of incoming and outgoing references to objects. This poster abstract was presented in the ACM Student Research Competition and came second in OOPSLA 2002 SRC, it was also one of the three winners of the ACM Grand Finals held in 2003.

[Up to Computer Science Technical Report Archive: Home Page]