Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java

This paper presents extensions to Steensgaard's and Andersen's algorithms t o handle Java features. Without careful consideration, the handling of thes e features may affect the correctness, precision, and efficiency of these a lgorithms. The paper also presents the results of empirical studies. These studies compare the precision and efficiency of these two algorithms and ev aluate the effectiveness of handling Java features using alternative approa ches. The studies also evaluate the impact of the points-to information pro vided by these two algorithms on client analyses that use the information.