Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Pointer analysis

Known as: Points-to analysis 
In computer science, pointer analysis, or points-to analysis, is a static code analysis technique that establishes which pointers, or heap references… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow… Expand
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Pointer information is a prerequisite for most program analyses, and the quality of this information can greatly affect their… Expand
  • table 1
  • figure 3
  • figure 4
  • table 2
  • figure 6
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents the first scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. Our approach… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Compilers can make good use of knowledge about the shape of data structures and the values that pointers assume during execution… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 7
  • figure 11
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Most points-to analysis research has been done on different systems by different groups, making it difficult to compare results… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
  • M. Hind
  • PASTE '01
  • 2001
  • Corpus ID: 2912219
During the past twenty-one years, over seventy-five papers and nine Ph.D. theses have been published on pointer analysis. Given… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Known algorithms for pointer analysis are “global” in the sense that they perform an exhaustive analysis of a program or program… Expand
  • figure 10
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • M. Das
  • PLDI '00
  • 2000
  • Corpus ID: 267965
This paper describes a new algorithm for flow and context insensitive pointer analysis of C programs. Our studies show that the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
  • T. Reps
  • Inf. Softw. Technol.
  • 1997
  • Corpus ID: 2200706
Abstract : This paper describes how a number of program-analysis problems can be solved by transforming them to graph… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper proposes an efficient technique for context-sensitive pointer analysis that is applicable to real C programs. For… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?