Mutability analysis in Java

Details Mutability analysis in Java Mutability analysis in Java

2005-08-02

2005-08-02

Chaki, Kakali (Department: 2124)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

Reexamination Certificate

active

06925638

ABSTRACT:
A system and method for detecting the mutability of fields and classes in an arbitrary program component written in an object oriented programming language is disclosed. A variable is considered to be mutable if a new value is stored into it, as well as if any of its reachable variables are mutable. The system and method uses a static analysis algorithm which can be applied to any software component rather than whole programs. The analysis classifies fields and classes as either mutable or immutable. In order to facilitate open-world analysis, the algorithm identifies situations that expose variables to potential modification by code outside the component, as well as situations where variables are modified by the analyzed code. An implementation of the analysis is presented which focuses on detecting mutability of class variables, so as to avoid isolation problems. The implementation incorporates intra- and inter-procedural data-flow analyses and is shown to be highly scalable. Experimental results demonstrate the effectiveness of the algorithms.

REFERENCES:
patent: 6085035 (2000-07-01), Ungar
patent: 6094528 (2000-07-01), Jordan
Gunter Kniesel and Dirk Theisen, “JAC—Access right based encapsulation for Java”, Aug. 15, 2000, John Wiley & Sons, Ltd.
Porat, Biberstein, Koved and Mendelson, “Automatic Detection of Immutable Fields in Java”, Nov. 2000, Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research.
Keishi Tajima, “Static Detection of Security Flaws in Object-Oriented Databases”, Jun. 1996, SIGMOD '96, pp. 341-352.

Affiliated with

Also associated with

Rating

Mutability analysis in Java does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Mutability analysis in Java, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mutability analysis in Java will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3518324