A dynamic analysis for revealing object ownership and sharing

Authors:
Derek Rayside;Lucy Mendel;Daniel Jackson
Affiliations:
MIT Computer Science and Artificial Intelligence Laboratory;MIT Computer Science and Artificial Intelligence Laboratory;MIT Computer Science and Artificial Intelligence Laboratory
Venue:
Proceedings of the 2006 international workshop on Dynamic systems analysis
Year:
2006

Citing 24
Cited 10

Rigi-A system for programming-in-the-large

ICSE '88 Proceedings of the 10th international conference on Software engineering
Islands: aliasing protection in object-oriented languages

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Visualizing the behavior of object-oriented systems

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Fast static analysis of C++ virtual function calls

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Lackwit: a program understanding tool based on type inference

ICSE '97 Proceedings of the 19th international conference on Software engineering
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On the criteria to be used in decomposing systems into modules

Communications of the ACM
A parameterized type system for race-free Java programs

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Matrix browser: visualizing and exploring large networked information spaces

CHI '02 Extended Abstracts on Human Factors in Computing Systems
Parameterized object sensitivity for points-to and side-effect analyses for Java

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership types for object encapsulation

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
A practical flow-sensitive and context-sensitive C and C++ memory leak detector

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Ownership types for safe region-based memory management in real-time Java

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Manipulating and documenting software structures using SHriMP views

ICSM '95 Proceedings of the International Conference on Software Maintenance
Fast and effective optimization of statically typed object-oriented languages

Fast and effective optimization of statically typed object-oriented languages
Using types to enforce architectural structure

Using types to enforce architectural structure
Safejava: a unified type system for safe programming

Safejava: a unified type system for safe programming
Parameterized object sensitivity for points-to analysis for Java

ACM Transactions on Software Engineering and Methodology (TOSEM)
Using dependency models to manage software architecture

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An analysis and visualization for revealing object sharing

eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
The runtime structure of object ownership

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

A static analysis for extracting runtime views from annotated object-oriented code

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Data Structure Health

WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
The causes of bloat, the limits of health

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Compile-time execution structure of object-oriented programs with practical ownership domain annotations

Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Object ownership profiling: a technique for finding and fixing memory leaks

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Static extraction of sound hierarchical runtime object graphs

Proceedings of the 4th international workshop on Types in language design and implementation
Lightweight annotations for controlling sharing in concurrent data structures

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Heapviz: interactive heap visualization for program understanding and debugging

Proceedings of the 5th international symposium on Software visualization
The runtime structure of object ownership

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Dynamic architecture extraction

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a dynamic analysis for inferring object ownership and sharing, defined in terms of the write control graph. We render the results in an interactive hierarchical matrix visualizer.The purpose of the analysis and visualization is to reveal object ownership and sharing relations in the program, to facilitate program understanding and modification tasks.