|
Selected publications by date
Selected publications by category
|
|   |
Extending and Evaluating
Flow-Insensitive and Context-Insensitive Points-to Analyses for Java
Technical Report GIT-CC-01-03, Georgia Institute of Technology, March, 2001
Donglin Liang and Mary Jean Harrold
Abstract
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.
|