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

Thumbnail Image
Authors
Liang, Donglin
Pennings, Maikel
Harrold, Mary Jean
Authors
Advisors
Advisors
Associated Organizations
Organizational Unit
Supplementary to
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
Rights Statement
Rights URI