Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Alias analysisCompilerComputer scienceControl flow analysis

Broader (1)

Static program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Stacking-Based Context-Sensitive Points-to Analysis for Java
Points-to analysis for Java infers heap objects that a reference variable can point to. Existing practiced context-sensitive… 
2008
2008
A Formal Specification of Pointer Analysis Approximations
Exact pointer analysis is an intractable problem, so numero us pointer analysis algorithms have been developed that appro ximate… 
2008
2008
Aspect-Aware Points-to Analysis
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering… 
2001
2001
Applying pointer analysis to the synthesis of hardware from C
With the advances in Computer Aided Design (CAD) technology, the design of digital circuits is becoming more and more as the… 
2001
2001
Pointer analysis and its applications for Java programs
This thesis investigates the design and the correctness of a pointer analysis for the Java programming language. Although the… 
2001
2001
Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C
As designers may model mixed hardware-software systems using a subset of C or C++, we present SpC, a solution to synthesize and… 
2000
2000
Practical Points-to Analysis for Programs Built with Libraries
Traditional whole-program analysis cannot be directly applied to programs that include precompiled libraries. Such programs could… 
2000
2000
Which pointer analysis should I use
During the past two decades many different pointer analysis algorithms have been published. Although some descriptions include… 
1996
1996
Efficient Resource Scheduling in Multiprocessors
Abstract : As multiprocessing becomes increasingly successful in scientific and commercial computing, parallel systems will be… 
1980
1980
A Practical Interprocedural Pointer Analysis Framework
In this paper we propose an e cient and e ective algorithm to perform ow-insensitive interprocedural pointer analysis which can… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)