Thumbnail
Access Restriction
Subscribed

Author Ma, Kin-Keung ♦ Foster, Jeffrey S.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Computer programming, programs & data
Subject Keyword Encapsulation ♦ Java ♦ Ownership ♦ Lending ♦ Uniqueness inference ♦ Aliasing ♦ Uniqueness ♦ Uno ♦ Ownership inference
Abstract There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniqueness. Most of these systems require extensive manual annotations, and thus there is little experience with these properties in large, existing Java code bases. To remedy this situation, we present Uno, a novel static analysis for automatically inferring ownership, uniqueness, and other aliasing and encapsulation properties in Java. Our analysis requires no annotations, and combines an intraprocedural points-to analysis with an interprocedural, demand-driven predicate resolution algorithm. We have applied Uno to a variety of Java applications and found that some aliasing properties, such as temporarily lending a reference to a method, are common, while others, in particular field and argument ownership, are relatively uncommon. As a result, we believe that Uno can be a valuable tool for discovering and understanding aliasing and encapsulation in Java programs.
Description Affiliation: University of Maryland, College Park, MD (Ma, Kin-Keung; Foster, Jeffrey S.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1983-05-01
Publisher Place New York
Journal ACM SIGPLAN Notices (SIGP)
Volume Number 42
Issue Number 10
Page Count 18
Starting Page 423
Ending Page 440


Open content in new tab

   Open content in new tab
Source: ACM Digital Library