An analysis and visualization for revealing object sharing

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 Erik Aldrich , Craig Chambers , David Notkin, Using types to enforce architectural structure, 2003
• 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 , Peter F. Sweeney, Fast static analysis of C++ virtual function calls, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.324-341, October 06-10, 1996, San Jose, California, United States
• 5: Dirk Beyer , Andreas Noack , Claus Lewerentz, Efficient Relational Calculation for Software Analysis, IEEE Transactions on Software Engineering, v.31 n.2, p.137-149, February 2005 [doi>10.1109/TSE.2005.23]
• 6: Chandrasekhar Boyapati , Martin C. Rinard, Safejava: a unified type system for safe programming, 2004
• 7: David G. Clarke , John M. Potter , James Noble, Ownership types for flexible alias protection, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.48-64, October 18-22, 1998, Vancouver, British Columbia, Canada
• 8: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 9: David L. Heine , Monica S. Lam, A practical flow-sensitive and context-sensitive C and C++ memory leak detector, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June 09-11, 2003, San Diego, California, USA
• 10: John Hogg, Islands: aliasing protection in object-oriented languages, Conference proceedings on Object-oriented programming systems, languages, and applications, p.271-285, October 06-11, 1991, Phoenix, Arizona, United States
• 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: M.-A. D. Storey , H. A. Muller, Manipulating and documenting software structures using SHriMP views, Proceedings of the International Conference on Software Maintenance, p.275, October 17-20, 1995
• 13: Ana Milanova , Atanas Rountev , Barbara G. Ryder, Parameterized object sensitivity for points-to and side-effect analyses for Java, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, July 22-24, 2002, Roma, Italy
• 14: H. A. Müller , K. Klashinsky, Rigi-A system for programming-in-the-large, Proceedings of the 10th international conference on Software engineering, p.80-86, April 11-15, 1988, Singapore
• 15: Peter Müller. Modular Specification and Verification of Object-Oriented Programs. PhD thesis, Fern Universität Hagen, 2001.
• 16: James Noble , Jan Vitek , John Potter, Flexible Alias Protection, Proceedings of the 12th European Conference on Object-Oriented Programming, p.158-185, July 20-24, 1998
• 17: D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
• 18: David Lorge Parnas. Designing Software for Ease of Extension and Contraction. IEEE Transactions on Software Engineering, SE-5(2), March 1979.
• 19: Derek Rayside. A generic worklist algorithm for graph reachability problems in program analysis. Master's thesis, University of Waterloo, 2001.
• 20: Neeraj Sangal , Ev Jordan , Vineet Sinha , Daniel Jackson, Using dependency models to manage software architecture, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA [doi>10.1145/1094855.1094915]
• 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 , Veit Botsch, Matrix browser: visualizing and exploring large networked information spaces, CHI '02 extended abstracts on Human factors in computing systems, April 20-25, 2002, Minneapolis, Minnesota, USA [doi>10.1145/506443.506504]