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.
2010
2010
Compiler aided selective lock assignment for improving the performance of software transactional memory
Atomic sections have been recently introduced as a language construct to improve the programmability of concurrent software. They… 
2004
2004
Towards Dynamic Interprocedural Analysis in JVMs
This paper presents a new, inexpensive, mechanism for constructing a complete call graph for Java programs at runtime, and… 
2003
2003
New results on the computability and complexity of points--to analysis
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of… 
2003
2003
Data Structure Analysis: An Ecien t Context-Sensitive Heap Analysis
This paper presents an efficient context-sensitive heap analysis algorithm called Data Structure Analysis designed to enable… 
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… 
Highly Cited
1998
Highly Cited
1998
Effective whole-program analysis in the presence of pointers
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding… 
1998
1998
Detecting memory errors via static pointer analysis (preliminary experience)
Programs which manipulate pointers are hard to debug. Pointer analysis algorithms (originally aimed at optimizing compilers) may… 
Highly Cited
1998
Highly Cited
1998
SpC: synthesis of pointers in C application of pointer analysis to the behavioral synthesis from C
As designers may model mixed software-hardware systems using a subset of C or C++, we present SpC, a solution to synthesize and… 
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)