Dynamic architecture extraction

Authors:
Cormac Flanagan;Stephen N. Freund
Affiliations:
Dept. of Computer Science, University of California at Santa Cruz, Santa Cruz, CA;Dept. of Computer Science, Williams College, Williamstown, MA
Venue:
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Year:
2006

Citing 27
Cited 4

Analysis of pointers and structures

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Solving shape-analysis problems in languages with destructive updating

ACM Transactions on Programming Languages and Systems (TOPLAS)
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Parametric shape analysis via 3-valued logic

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lightweight extraction of object models from bytecode

Proceedings of the 21st international conference on Software engineering
An open graph visualization system and its applications to software engineering

Software—Practice & Experience - Special issue on discrete algorithm engineering
Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Confined types in Java

Software—Practice & Experience - Special issue on aliasing in object-oriented systems
Mining specifications

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Understanding the connectivity of heap objects

Proceedings of the 3rd international symposium on Memory management
Extended static checking for Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic extraction of object-oriented component interfaces

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A flexible approach to interprocedural data flow analysis and programs with recursive data structures

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alias annotations for program understanding

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
GCspy: an adaptable heap visualisation framework

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
Simple Ownership Types for Object Containment

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership

Revised Lectures on Software Visualization, International Seminar
A reverse engineering tool for precise class diagrams

CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Exploiting UML dynamic object modeling for the visualization of C++ programs

SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Precise identification of composition relationships for UML class diagrams

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
A dynamic analysis for revealing object ownership and sharing

Proceedings of the 2006 international workshop on Dynamic systems analysis
Using Types to Enforce Architectural Structure

WICSA '08 Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
The runtime structure of object ownership

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

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
Static extraction of sound hierarchical runtime object graphs

Proceedings of the 4th international workshop on Types in language design and implementation
A field study in static extraction of runtime architectures

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulation. We present a dynamic analysis to extract object models from legacy code bases. Our analysis reconstructs each intermediate heap from a log of object allocations and field writes, applies a sequence of abstraction-based operations to each heap, and combines the results into a single object model that conservatively approximates all observed heaps from the program's execution. The resulting object models reflect many interesting and useful architectural properties.