Interprocedural Side-Effect Analysis and Optimisation in the Presence of Dynamic Class Loading

We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes can be loaded dynamically, the pointsto and modification sets computed statically based on the analysed program, called internal world, may be incomplete. Thus, the modification side effects cannot be determined based on such sets alone. We present a technique, called internal analysis (IA), to classify the references, objects and call sites in the analysed program so that we can determine which points-to and modification sets are definitely complete and which may be not. By combining the points-to sets and this classification, we obtain a new IAbased interprocedural side-effect analysis for determining the modification side-effects of any statement on any variable with good accuracy. We have implemented our algorithms in Soot. This paper demonstrates two important applications of this work: partial redu...

• Type: Conference
• Year: 2005
• Where: ACSC
• Authors: Phung Hua Nguyen, Jingling Xue
• Keywords: ACSC 2005, Analysed Program, Compile-time Unknown Classes, Computer Science, Modification Sets