Article

Encapsulating objects with confined types

Authors:

Christian Grothoff,

Jan VitekAuthors Info & Claims

OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 241 - 255

https://doi.org/10.1145/504282.504300

Published: 01 October 2001 Publication History

Abstract

Object-oriented languages provide little support for encapsulating objects. Reference semantics allows objects to escape their defining scope. The pervasive aliasing that ensues remains a major source of software defects. This paper introduces Kacheck/J a tool for inferring object encapulation properties in large Java programs. Our goal is to develop practical tools to assist software engineers, thus we focus on simple and scalable techniques. Kacheck/J is able to infer confinement for Java classes. A class and its sublasses are confined if all of their instances are encapsulated in their defining package. This simple property can be used to identify accidental leaks of sensitive objects. The analysis is scalable and efficient; Kacheck/J is able t infer confinement on a corpus of 46,000 classes (115 MB) in 6 minutes

References

[1]

Paulo Sergio Almeida. Ballon Types: Controlling sharing of state in data types. In ECOOP Proceedings, June 1997.

[2]

Bruno Blanchet. Escape analysis for object oriented languages. application to Java. In OPPSLA '99 ACM Conference on Object-Oriented Systems, Languages and Applications, volume 34(10) of ACM SIGPLAN Notices, pages 20-34, Denver, CO, October 1999. ACM Press.

Digital Library

[3]

Jeff Bogda and Urs Holzle. Removing unnecessary synchronization in Java. In OOPSLA'99 ACM Conference on Object-Oriented Systems, languages and Applications, volume 34(10) of ACM SIGPLAN Notices, pages 35-46, Denver, CO, October 1999. ACM Press.

Digital Library

[4]

Boris Bokowski. CoffeeStrainer: Statically-checked constraints on the definition and use of types in Java. In Proceedings of ESEC/FSE'99, Touloue, France, September, 1999.

Digital Library

[5]

Boris Bolowski and Jan Vitek. Cofined Types. In Proceedings 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'99), Denver, Colorado, USA, November 1999.

[6]

John Boyland, James Noble, and William Retert. Capabilities for aliasing: A generalisation of uniqueness and read-only. In ECOOP'01 - Object-Oriented Programming 15th European Conference, number to appear in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 2001, Springer

Digital Library

[7]

David G. Clarke, Johnn M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA '98 Conference Proceedings, volume 33(10) of ACM SIGPLAN Notices, pages 48-64, ACM, October 1998.

Digital Library

[8]

D. Detlefs, K. Rustan M. Leino, and G. Nelson. Wrestling with rep exposure. Technical report, Digital Equipment Corporation Systems Research Center, 1996.

[9]

Alain Deutsch. Semantic models and abstract interpretation techniques for inductive data structure and pointers, In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Sematics-Based Program Manipulation, pages 226-229, La Jolla, California, June 21-23, 1995.

Digital Library

[10]

Daniela Genius, Martin Trapp, and Wolf Zimmermann. An approach to improve locality using Sandwich Types, In Proceedings of the 2nd Types in Compilation workshop, volume LNCS 1473, Kyoto, Japan, March 1998. Springer Verlag.

Digital Library

[11]

John Hogg. Islands: Aliasing protection in object-oriented languages. In OOPSLA Proceedings, November 1991.

Digital Library

[12]

John Hogg, Doug Lea, Alan Wills, Dennis deChampeaux, and Richard Holt. The Geneva convention on the treatment of object aliasing. OOPS Messenger, 3(2), April 1992.

Digital Library

[13]

S.J.H. Kent and I. Maung. Encapsulation and Aggregation. In Proceedings of TOOLS PACIFIC 95 (TOOLS 18), Prentice-hall, 1995.

[14]

Sun Micorsystems. Support for extensions and applications in the version 1.2 of the Java platform 2000.

[15]

James Noble, John Potter, and Jan Vitek. Flexible alias protection. In Proceedings of ECOOP'98 volume 1543 of LNCS, Brussels, Belgium, July 20-24 1998. Springer-Verlag.

Digital Library

[16]

Ayal Zaks, Vitaly Feldman, and Nava Aizikowitz. Sealed calls in Java packages. In OOPSLA '2000 Conference Proceedings, ACM SIGPLAN Notices. ACM, October 2000.

Digital Library

Cited By

Silvestri SUrgaonkar RZafer MKo B(2018)A Framework for the Inference of Sensing Measurements Based on CorrelationACM Transactions on Sensor Networks10.1145/327203515:1(1-28)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1145/3272035
Restuccia FFerraro PSanders TSilvestri SDas SRe G(2018)FIRSTACM Transactions on Sensor Networks10.1145/326710515:1(1-35)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1145/3267105
Tiloca MGuglielmo DDini GAnastasi GDas S(2018)DISHACM Transactions on Sensor Networks10.1145/324105215:1(1-28)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1145/3241052
Show More Cited By

Index Terms

Encapsulating objects with confined types
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

Encapsulating objects with confined types

Object-oriented languages provide little support for encapsulating objects. Reference semantics allows objects to escape their defining scope. The pervasive aliasing that ensues remains a major source of software defects. This paper introduces Kacheck/J ...
Encapsulating objects with confined types

Object-oriented languages provide little support for encapsulating objects. Reference semantics allows objects to escape their defining scope, and the pervasive aliasing that ensues remains a major source of software defects. This paper presents Kacheck/...
Encapsulating Plurality
ECOOP '93: Proceedings of the 7th European Conference on Object-Oriented Programming

This paper describes the Gaggle, a mechanism for grouping and naming objects in an object-oriented distributed system. Using Gaggles, client objects can access distributed replicated services without regard for the number of objects that provide the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

October 2001

382 pages

ISBN:1581133359

DOI:10.1145/504282

Conference Chair:
Linda Northrop
Software Engineering Institute
,
Program Chair:
John Vlissides
IBM T.J. Watson Research Center

ACM SIGPLAN Notices Volume 36, Issue 11
11/01/2001
380 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/504311
Issue’s Table of Contents

Copyright © 2001 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]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA01

Sponsor:

SIGPLAN

OOPSLA01: ACM SIGPLAN Object Oriented Programming Systems Languages and Applications Conference

October 14 - 18, 2001

FL, Tampa Bay, USA

Acceptance Rates

OOPSLA '01 Paper Acceptance Rate 27 of 145 submissions, 19%;

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

90
Total Citations
View Citations
486
Total Downloads

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

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Silvestri SUrgaonkar RZafer MKo B(2018)A Framework for the Inference of Sensing Measurements Based on CorrelationACM Transactions on Sensor Networks10.1145/327203515:1(1-28)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1145/3272035
Restuccia FFerraro PSanders TSilvestri SDas SRe G(2018)FIRSTACM Transactions on Sensor Networks10.1145/326710515:1(1-35)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1145/3267105
Tiloca MGuglielmo DDini GAnastasi GDas S(2018)DISHACM Transactions on Sensor Networks10.1145/324105215:1(1-28)Online publication date: 15-Dec-2018
https://dl.acm.org/doi/10.1145/3241052
Vardasbi AFaili HAsadpour M(2017)SWIMACM Transactions on Information Systems10.1145/307265236:1(1-33)Online publication date: 19-Aug-2017
https://dl.acm.org/doi/10.1145/3072652
Welsch YPoetzsch-Heffter A(2014)A fully abstract trace-based semantics for reasoning about backward compatibility of class librariesScience of Computer Programming10.1016/j.scico.2013.10.00292(129-161)Online publication date: Oct-2014
https://doi.org/10.1016/j.scico.2013.10.002
Chavez HShen W(2013)Formalization of UML Composition in OCLInternational Journal of Software Innovation10.4018/ijsi.20130101031:1(26-40)Online publication date: 1-Jan-2013
https://doi.org/10.4018/ijsi.2013010103
Shu QQiu ZWang S(2013)Confinement framework for encapsulating objectsFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-013-1259-77:2(236-256)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1007/s11704-013-1259-7
Zhu HLiu Y(2013)Heap decomposition inference with linear programmingProceedings of the 27th European conference on Object-Oriented Programming10.1007/978-3-642-39038-8_5(104-128)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39038-8_5
Ali KLhoták O(2013)AverroesProceedings of the 27th European conference on Object-Oriented Programming10.1007/978-3-642-39038-8_16(378-400)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39038-8_16
Damiani FPoetzsch-Heffter AWelsch YOssowski SLecca P(2012)A type system for checking specialization of packages in object-oriented programmingProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2232058(1737-1742)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2232058
Show More Cited By

View Options

Get Access

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