Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java Export

@inproceedings{citeulike:3906171, abstract = {This paper presents extensions to Steensgaard\&\#039;s and Andersen \&\#039;s algorithms to handle Java features. Without careful consideration, the handling of these features may a\#ect the correctness, precision, and e\#ciency of these algorithms. The paper also presents the results of empirical studies. These studies compare the precision and e\#ciency of these two algorithms and evaluate the e\#ectiveness 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.}, author = {Liang, Donglin and Pennings, Maikel and Harrold, Mary J.}, booktitle = {In Workshop on Program Analysis for Software Tools and Engineering}, citeulike-article-id = {3906171}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4206}, keywords = {nasko, points-to}, pages = {73--79}, posted-at = {2009-01-18 16:46:58}, priority = {2}, title = {Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4206}, year = {2001} }

TY - CONF ID - citeulike:3906171 L3 - citeulike-article-id:3906171 N2 - This paper presents extensions to Steensgaard's and Andersen 's algorithms to handle Java features. Without careful consideration, the handling of these features may a#ect the correctness, precision, and e#ciency of these algorithms. The paper also presents the results of empirical studies. These studies compare the precision and e#ciency of these two algorithms and evaluate the e#ectiveness 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. EP - 79 TI - Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java T2 - In Workshop on Program Analysis for Software Tools and Engineering SP - 73 KW - nasko KW - points-to AU - Liang, Donglin AU - Pennings, Maikel AU - Harrold, Mary PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4206 ER -