loading...
Static Analysis of Object References in RMI-Based Java Software
Budapest, Hungary September 25-September 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.8421st IEEE International Conference on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Mariana Sharp, Ohio State University
Atanas Rountev, Ohio State University
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java programs built with the help of the Remote Method Invocation (RMI) mechanism. We consider points-to analysis for such applications. Points-to analysis determines the objects pointed to by a reference variable or a reference object field. Such information plays a fundamental role as a prerequisite for many other static analyses. We present the first theoretical definition of points-to analysis for RMI-based Java applications, and an algorithm for implementing a flow- and context-insensitive points-to analysis for such applications. We also discuss the use of points-to information for computing call graph information, for understanding data dependencies due to remote memory locations, and for identifying opportunities for improving the performance of object serialization at remote calls. The work described in this paper solves one key problem for static analysis of RMI programs, and provides a starting point for future work on improving the understanding, testing, verification, and performance of RMI-based software.
Citation:
Mariana Sharp, Atanas Rountev, "Static Analysis of Object References in RMI-Based Java Software," icsm, pp.101-110, 21st IEEE International Conference on Software Maintenance (ICSM'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.