Extending and Evaluating Flow-Insensitve and Context-insensitive Points-to Analyses for Java

View/ Open
Date
2001Author
Liang, Donglin
Pennings, Maikel
Harrold, Mary Jean
Metadata
Show full item recordAbstract
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
algorithms. The paper also presents the results of empirical studies. These
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.