Sciweavers

Share
ICSM
2005
IEEE

Static Analysis of Object References in RMI-Based Java Software

10 years 8 months ago
Static Analysis of Object References in RMI-Based Java Software
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 t...
Mariana Sharp, Atanas Rountev
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where ICSM
Authors Mariana Sharp, Atanas Rountev
Comments (0)
books