Extending and Evaluating
Flow-Insensitive and Context-Insensitive Points-to Analyses for Java
Workshop on Program Analysis for Software Tools and Engineering
Donglin Liang and Mary Jean Harrold
This paper presents extensions to
Steensgaard's and Andersen's algorithms to handle Java features.
Without careful consideration, the handling of these features
may affect the correctness, precision, and efficiency of these
The paper also presents the results of empirical studies.
compare the precision and efficiency of these two algorithms
and evaluate the effectiveness of handling Java features
using alternative approaches.
The studies also evaluate the impact of the points-to information provided
by these two algorithms on client analyses that use the information.