@inbook{ad552394c87241f0a56caf5531c1df90,
title = "Alias analysis for object-oriented programs",
abstract = "We present a high-level survey of state-of-the-art alias analyses for object-oriented programs, based on a years-long effort developing industrial-strength static analyses for Java. We first present common variants of points-to analysis, including a discussion of key implementation techniques. We then describe flow-sensitive techniques based on tracking of access paths, which can yield greater precision for certain clients. We also discuss how whole-program alias analysis has become less useful for modern Java programs, due to increasing use of reflection in libraries and frameworks. We have found that for real-world programs, an under-approximate alias analysis based on access-path tracking often provides the best results for a variety of practical clients.",
author = "Manu Sridharan and Satish Chandra and Julian Dolby and Fink, {Stephen J.} and Eran Yahav",
year = "2013",
doi = "https://doi.org/10.1007/978-3-642-36946-9_8",
language = "الإنجليزيّة",
isbn = "9783642369452",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "196--232",
booktitle = "Aliasing in Object-Oriented Programming",
}