@inproceedings{809fabe429204db9aabc38f6a7085804,
title = "Incremental points-to analysis for java via edit propagation",
abstract = "Points-to analysis is a static analysis technique which computes the relationships between the program variables and the heap references. It has been widely used in program optimization, program understanding, and error detection. Inclusion-based points-to analysis computes the points-to sets in a program by translating the program into a set of inclusion constraints on the points-to sets and then solving them to yield the desired results. Yet the analysis faces a difficulty in that a program can be frequently changed in its development, and great efforts may be exhausted to re-generate the inclusion constraints and re-solve them. In this paper, we extend the inclusion-based points-to analysis to an incremental one called Inc-PTA. The essential idea of Inc- PTA is to sum up the program changes into an editscript of a sequence of successive edits, and then to propagate the edits to the constraints followed by taking a demand-driven points-to analysis of the program. We also discuss about the correctness of Inc-PTA, and believe that Inc- PTA can provide with a cost-effective solution to incremental points-to analysis.",
keywords = "Constraint solving, Edit propagation, Incremental points-to analysis",
author = "Yuting Chen and Qiuwei Shi and Weikai Miao",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 4th International Workshop on Structured Object-Oriented Formal Language, SOFL 2014 and International Workshop on Modeling, Simulation, and Verification Language, MSVL 2014 ; Conference date: 06-11-2014 Through 06-11-2014",
year = "2015",
doi = "10.1007/978-3-319-17404-4\_11",
language = "英语",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "164--178",
editor = "Zhenhua Duan and Shaoying Liu",
booktitle = "Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Revised Selected Papers",
address = "德国",
}