Article

An analysis and visualization for revealing object sharing

Authors:

Daniel JacksonAuthors Info & Claims

eclipse '05: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange

Pages 11 - 15

https://doi.org/10.1145/1117696.1117699

Published: 16 October 2005 Publication History

Abstract

Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break encapsulation boundaries. However, sharing data makes programs harder to understand and reason about, because, unlike encapsulated data, shared data cannot be reasoned about in a modular fashion. This paper presents an analysis and a visualizer to help the programmer understand and reason about shared data.

References

[1]

Rahul Agarwal and Scott D. Stoller. Type inference for parameterized race-free Java. In Giorgio Levi and Bernhard Steffen, editors, Proc. 5th VMCAI, volume 2937 of LNCS, pages 149--160, Venice, Italy, January 2004.

[2]

Jonathan Aldrich. Using Types to Enforce Architectural Structure. PhD thesis, U. Washington, August 2003.

Digital Library

[3]

Paulo Sergio Almeida. Balloon types: Controlling sharing of state in data types. In Mehmet Aksit and Satoshi Matsuoka, editors, Proc. 11th ECOOP, volume 1241 of LNCS, Jyväskylä, Finland, June 1997.

[4]

David F. Bacon and Peter F. Sweeney. Fast static analysis of C++ virtual function calls. In James Coplien, editor, Proc. 11th OOPSLA, pages 324--341, San Jose, CA, October 1996.

Digital Library

[5]

Dirk Beyer, Andreas Noack, and Claus Lewerentz. Efficient relational calculation for software analysis. IEEE Transactions on Software Engineering, 31(2):137--149, 2005.

Digital Library

[6]

Chandrasekhar Boyapati. SafeJava: A Unified Type System for Safe Programming. PhD thesis, MIT, 2004.

Digital Library

[7]

David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In Craig Chambers, editor, Proc. 13th OOPSLA, Vancouver, British Columbia, Canada, October 1998.

Digital Library

[8]

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.

Digital Library

[9]

David L. Heine and Monica S. Lam. A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector. In Rajiv Gupta, editor, Proc. PLDI, June 2003.

Digital Library

[10]

John Hogg. Islands: Aliasing protection in object oriented languages. In Andreas Paepcke, editor, Proc. 6th OOPSLA, pages 271--285, Phoenix, October 1991.

Digital Library

[11]

Patrick Lam and Martin Rinard. A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. In Luca Cardelli, editor, Proc. 17th ECOOP, volume 2743 of LNCS, pages 275--302, Darmstadt, Germany, July 2003.

[12]

Margaret-Anne Storey and Hausi A. Müller and Kenny Wong. Manipulating and Documenting Software Structures. In Proc. ICSM, pages 275--284, Opio (Nice), France, October 1995.

Digital Library

[13]

Ana Milanova, Atanas Rountev, and Barbara G. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java. In Phyllis Frankl, editor, Proc. ISSTA, pages 1--11, Rome, Italy, July 2002.

Digital Library

[14]

Hausi A. Müller and K. Klashinsky. Rigi --- A System for Programming-in-the-large. In Proc. 10th ICSE, pages 80--86, Raffles City, Singapore, April 1988.

Digital Library

[15]

Peter Müller. Modular Specification and Verification of Object-Oriented Programs. PhD thesis, Fern Universität Hagen, 2001.

[16]

James Noble, Jan Vitek, and John Potter. Flexible alias protection. In Eric Jul, editor, Proc. 12th ECOOP, volume 1445 of LNCS, Brussels, Belgium, July 1998.

Digital Library

[17]

David Lorge Parnas. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM, 15(12):1053--1058, December 1972.

Digital Library

[18]

David Lorge Parnas. Designing Software for Ease of Extension and Contraction. IEEE Transactions on Software Engineering, SE-5(2), March 1979.

Digital Library

[19]

Derek Rayside. A generic worklist algorithm for graph reachability problems in program analysis. Master's thesis, University of Waterloo, 2001.

Digital Library

[20]

Neeraj Sangal, Ev Jordan, Vineet Sinha, and Daniel Jackson. Using Dependency Models to Manage Complex Software Architecture. In Richard P. Gabriel, editor, Proc. 20th OOPSLA, San Diego, CA, October 2005.

Digital Library

[21]

Nick Scerbakov. Software Architecture Course LV 706.016 & LV 706.017. Graz University of Technology, IICM, 2002. http://coronet.iicm.edu/sa.

[22]

Alisdair Wren. Ownership type inference. Master's thesis, Department of Computing, Imperial College, 2003.

[23]

Jürgen Ziegler, Christoph Kunz, and Veit Botsch. Matrix browser: visualizing and exploring large networked information spaces. In SIGCHI Extended Abstracts, pages 602--603, Minneapolis, MN, 2002.

Digital Library

Cited By

Zhuang YKuo WTseng S(2024)Resolving the Java Representation Exposure Problem with an AST-Based Deep Copy and Flexible Alias Ownership SystemElectronics10.3390/electronics1302035013:2(350)Online publication date: 14-Jan-2024
https://doi.org/10.3390/electronics13020350
Abi-Antoun MAldrich JKennedy AAhmed A(2009)Static extraction of sound hierarchical runtime object graphsProceedings of the 4th international workshop on Types in language design and implementation10.1145/1481861.1481869(51-64)Online publication date: 24-Jan-2009
https://dl.acm.org/doi/10.1145/1481861.1481869
Rayside DMendel LStirewalt KEgyed AFischer B(2007)Object ownership profilingProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering10.1145/1321631.1321661(194-203)Online publication date: 5-Nov-2007
https://dl.acm.org/doi/10.1145/1321631.1321661
Show More Cited By

Recommendations

A novel verifiable secret sharing mechanism using theory of numbers and a method for sharing secrets

Verifiable secret sharing VSS has been extensively used as a cryptographic tool in many applications of information security in recent years. A VSS enables a dealer to divide a secret s into n shares and allows shareholders to verify whether their shares ...
Strong (n,t,n) verifiable secret sharing scheme

A (t,n) secret sharing divides a secret into n shares in such a way that any t or more than t shares can reconstruct the secret; but fewer than t shares cannot reconstruct the secret. In this paper, we extend the idea of a (t,n) secret sharing scheme ...
Sharing one secret vs. sharing many secrets

A secret sharing scheme is a method for distributing a secret among several parties in such a way that only qualified subsets of the parties can reconstruct it and unqualified subsets receive no information about the secret. A multi-secret sharing ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

eclipse '05: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange

October 2005

141 pages

ISBN:1595933425

DOI:10.1145/1117696

Conference Chairs:
Margaret-Anne Storey
University of Victoria
,
Michael G. Burke
IBM T. J. Watson Research Center
,
Li-Te Cheng
IBM Research, Cambridge
,
André van der Hoek
University of California, Irvine

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 October 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 38 of 79 submissions, 48%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
174
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhuang YKuo WTseng S(2024)Resolving the Java Representation Exposure Problem with an AST-Based Deep Copy and Flexible Alias Ownership SystemElectronics10.3390/electronics1302035013:2(350)Online publication date: 14-Jan-2024
https://doi.org/10.3390/electronics13020350
Abi-Antoun MAldrich JKennedy AAhmed A(2009)Static extraction of sound hierarchical runtime object graphsProceedings of the 4th international workshop on Types in language design and implementation10.1145/1481861.1481869(51-64)Online publication date: 24-Jan-2009
https://dl.acm.org/doi/10.1145/1481861.1481869
Rayside DMendel LStirewalt KEgyed AFischer B(2007)Object ownership profilingProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering10.1145/1321631.1321661(194-203)Online publication date: 5-Nov-2007
https://dl.acm.org/doi/10.1145/1321631.1321661
Abi-Antoun MGabriel RBacon DLopes CSteele G(2007)Compile-time execution structure of object-oriented programs with practical ownership domain annotationsCompanion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion10.1145/1297846.1297945(919-920)Online publication date: 20-Oct-2007
https://dl.acm.org/doi/10.1145/1297846.1297945
Liu YMilanova A(2007)Ownership and Immutability Inference for UML-Based Object Access ControlProceedings of the 29th international conference on Software Engineering10.1109/ICSE.2007.61(323-332)Online publication date: 24-May-2007
https://dl.acm.org/doi/10.1109/ICSE.2007.61
Rayside DMendel LJackson DGupta NPodgurski A(2006)A dynamic analysis for revealing object ownership and sharingProceedings of the 2006 international workshop on Dynamic systems analysis10.1145/1138912.1138924(57-64)Online publication date: 23-May-2006
https://dl.acm.org/doi/10.1145/1138912.1138924

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents