Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,526 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Alias analysis
Compiler
Computer science
Control flow analysis
Expand
Broader (1)
Static program analysis
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Exploiting the structure of the constraint graph for efficient points-to analysis
NasreRupesh
2012
Corpus ID: 215867855
Points-to analysis is a key compiler analysis. Several memory related optimizations use points-to information to improve their…
Expand
2009
2009
Stacking-Based Context-Sensitive Points-to Analysis for Java
Xin Li
,
Mizuhito Ogawa
Haifa Verification Conference
2009
Corpus ID: 11850268
Points-to analysis for Java infers heap objects that a reference variable can point to. Existing practiced context-sensitive…
Expand
2009
2009
Demand-driven Pointer Analysis on Explicit Dependence Graphs
Klaas Boesche
,
A. Zeller
2009
Corpus ID: 18794907
In this thesis I present a demand-driven pointer analysis for Java that aims at applications which require memory and time…
Expand
2009
2009
Practical Static Ownership Inference
Ana L. Milanova
,
Yin Liu
2009
Corpus ID: 18303075
There are many proposals for ownership type systems designed to control aliasing in object-oriented programs. Most systems…
Expand
2008
2008
Aspect-Aware Points-to Analysis
Qiang Sun
,
Jianjun Zhao
Eighth IEEE International Working Conference on…
2008
Corpus ID: 1821583
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering…
Expand
2008
2008
A Formal Specification of Pointer Analysis Approximations
Ben Hardekopf
,
Ben Wiedermann
,
W. Cook
,
Calvin Lin
2008
Corpus ID: 7745853
Exact pointer analysis is an intractable problem, so numero us pointer analysis algorithms have been developed that appro ximate…
Expand
2001
2001
Pointer analysis and its applications for Java programs
Alexandru Salcianu
2001
Corpus ID: 408222
This thesis investigates the design and the correctness of a pointer analysis for the Java programming language. Although the…
Expand
2001
2001
Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C
L. Semeria
,
G. De Micheli
IEEE Trans. Comput. Aided Des. Integr. Circuits…
2001
Corpus ID: 14734802
As designers may model mixed hardware-software systems using a subset of C or C++, we present SpC, a solution to synthesize and…
Expand
2000
2000
Practical Points-to Analysis for Programs Built with Libraries
A. Rountev
,
B. Ryder
2000
Corpus ID: 14012376
Traditional whole-program analysis cannot be directly applied to programs that include precompiled libraries. Such programs could…
Expand
2000
2000
Which pointer analysis should I use
HindMichael
,
PioliAnthony
2000
Corpus ID: 216022759
During the past two decades many different pointer analysis algorithms have been published. Although some descriptions include…
Expand