Practical techniques for virtual call resolution in Java

Virtual method calls are a fundamental feature offered by Java, an object-oriented programming language. However, they are also a source of degradation of performance at run time and imprecision in interprocedural analyses. There are several well known, inexpensive analyses that have been developed for virtual call resolution.We present a new flow insensitive and context insensitive analysis called reaching type analysis in this thesis. We present the analysis rules for two variations of this analysis, variable type analysis and a coarser grained version declared type analysis. Reaching type analysis is based on an analysis that builds a type propagation graph where nodes represent variables and edges represent the flow of types due to assignments.We have implemented variable type analysis and declared type analysis, and two existing analyses, class hierarchy analysis and rapid type analysis, in the Soot framework and compared their relative success at building accurate call graphs for complete applications.Method inlining is a compiler optimization in which the method call is replaced by the body of the method being called. (Abstract shortened by UMI.