Encapsulating objects with confined types

Authors:
Christian Grothoff;Jens Palsberg;Jan Vitek
Affiliations:
Slt/supgt/3lt//supgt/ Lab, Department of Computer Sciences, Purdue University;Slt/supgt/3lt//supgt/ Lab, Department of Computer Sciences, Purdue University;Slt/supgt/3lt//supgt/ Lab, Department of Computer Sciences, Purdue University
Venue:
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
2001

Citing 11
Cited 48

Islands: aliasing protection in object-oriented languages

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
The Geneva convention on the treatment of object aliasing

ACM SIGPLAN OOPS Messenger
Semantic models and abstract interpretation techniques for inductive data structures and pointers

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
CoffeeStrainer: statically-checked constraints on the definition and use of types in Java

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Escape analysis for object-oriented languages: application to Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Sealed calls in Java packages

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
An Approach to Improve Locality Using Sandwich Types

TIC '98 Proceedings of the Second International Workshop on Types in Compilation

Type-based analysis and applications

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Alias annotations for program understanding

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership

Revised Lectures on Software Visualization, International Seminar
Secure Information Flow and Pointer Confinement in a Java-like Language

CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Engineering a customizable intermediate representation

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Lightweight confinement for featherweight java

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Saving the world from bad beans: deployment-time confinement checking

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Separation and information hiding

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A tool for ownership and confinement analysis of the Java object graph

OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Verifying safety policies with size properties and alias controls

Proceedings of the 27th international conference on Software engineering
PolyD: a flexible dispatching framework

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership confinement ensures representation independence for object-oriented programs

Journal of the ACM (JACM)
Precise identification of composition relationships for UML class diagrams

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Type-based confinement

Journal of Functional Programming
Generic ownership for generic Java

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Understanding the shape of Java software

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Engineering a common intermediate representation for the Ovm framework

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)
Ownership and Immutability Inference for UML-Based Object Access Control

ICSE '07 Proceedings of the 29th international conference on Software Engineering
The CRSS metric for package design quality

ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Reasoning about safety properties in a JVM-like environment

Science of Computer Programming
An empirical study of cycles among classes in Java

Empirical Software Engineering
Composition inference for UML class diagrams

Automated Software Engineering
Inferring aliasing and encapsulation properties for java

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Multiple ownership

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Practical, pluggable types

ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
L3: A Linear Language with Locations

Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Practical, pluggable types for a dynamic language

Computer Languages, Systems and Structures
The Runabout

Software—Practice & Experience
Separation and information hiding

ACM Transactions on Programming Languages and Systems (TOPLAS)
Infering ownership types for encapsulated object-oriented program components

Program analysis and compilation, theory and practice
Detecting inefficiently-used containers to avoid bloat

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Tunable static inference for generic universe types

Proceedings of the 25th European conference on Object-oriented programming
Allowing state changes in specifications

ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Practical exception specifications

Advanced Topics in Exception Handling Techniques
L3: a linear language with locations

TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Interprocedural shape analysis for cutpoint-free programs

SAS'05 Proceedings of the 12th international conference on Static Analysis
On the revival of dynamic languages

SC'05 Proceedings of the 4th international conference on Software Composition
Discretionary capability confinement

ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Full abstraction at package boundaries of object-oriented languages

SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Types for hierarchic shapes

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
A type system for checking specialization of packages in object-oriented programming

Proceedings of the 27th Annual ACM Symposium on Applied Computing
L$^3$: A Linear Language with Locations

Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Application-Only call graph construction

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
MAO: ownership and effects for more effective reasoning about aspects

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Combining traits with boxes and ownership types in a Java-like setting

Science of Computer Programming
Confinement framework for encapsulating objects

Frontiers of Computer Science: Selected Publications from Chinese Universities
Heap decomposition inference with linear programming

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Averroes: whole-program analysis without the whole program

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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