Title:
Extending and Evaluating Flow-Insensitve and Context-insensitive Points-to Analyses for Java
Extending and Evaluating Flow-Insensitve and Context-insensitive Points-to Analyses for Java
Author(s)
Liang, Donglin
Pennings, Maikel
Harrold, Mary Jean
Pennings, Maikel
Harrold, Mary Jean
Advisor(s)
Editor(s)
Collections
Supplementary to
Permanent Link
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.
Sponsor
Date Issued
2001
Extent
245838 bytes
Resource Type
Text
Resource Subtype
Technical Report