Pointer analysis: haven't we solved this problem yet?
By Michael Hind. Workshop on Program Analysis For Software Tools and Engineering, 2001
690 citations recorded by the source corpus.
Subfields: Information Systems, Software, Signal Processing
View Paper: https://www.semanticscholar.org/paper/a57a308d77ea958d908ff762082967db502940cd
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Information Systems
In Software
- Vijay Victor D'Silva
- Georg Weissenbacher
- Herbert Bos
- Daniel Kroening
- Thomas W. Reps
- Chris Lattner
- Lin Chen
- Gogul Balakrishnan
In Signal Processing
- Thomas W. Reps
- Gogul Balakrishnan
- Herbert Bos
- Georgios Portokalidis
- Elias Athanasopoulos
- Chris Lattner
- Enes Göktas
- Ahmad-Reza Sadeghi
Citations in the corpus
- WYSINWYX: What you see is not what you eXecute (2010, background): “The problem that VSA addresses has similarities with the pointer analysis problem that has been studied in great detail for programs written in high-level languages [Hind 2001].”
- A brief survey of program slicing (2005, background): “[Hind 2000, 2001b] suggested that for contextinsensitive analyses, a flow-sensitive analysis does not offer much precision improvement over a subset-based flow-insensitive analysis.”
- Refinement-based context-sensitive points-to analysis for Java (2006, neutral): “See [11, 15, 34] for comprehensive discussions and comparisons of various points-to analyses.”
- The New C Standard (Excerpted material) An Economic and Cultural Commentary (2008, neutral): “[2] Hind[6] discusses pointer analysis issues that still remain open.”
- Software model checking (2009, neutral): “the precision-scalability spectrum [Andersen 1994; Steensgard 1996; Hind 2001; Whaley and Lam 2004; Hardekopf and Lin 2007].”
- LLVM: AN INFRASTRUCTURE FOR MULTI-STAGE OPTIMIZATION (2000, background): “All these properties, especially the first, are widely considered to incur a high analysis cost [25].”
- A Survey of Automated Techniques for Formal Software Verification (2008, background): “Cousot and Cousot [46] introduced abstract interpretation as a framework for relating abstract analyses to program execution.”
- Out of Control: Overcoming Control-Flow Integrity (2014, background): “Like pointer analysis [23], perfect CFG generation is an intractable problem in many setups.”