Results 1 - 10 of 149,660

Efficient Context-Sensitive Pointer Analysis for C Programs

by Robert P. Wilson, Monica S. Lam , 1995
"... This paper proposes an efficient technique for contextsensitive pointer analysis that is applicable to real C programs. For efficiency, we summarize the effects of procedures using partial transfer functions. A partial transfer function (PTF) describes the behavior of a procedure assuming that certa ..."
Abstract - Cited by 435 (7 self) - Add to MetaCart
This paper proposes an efficient technique for contextsensitive pointer analysis that is applicable to real C programs. For efficiency, we summarize the effects of procedures using partial transfer functions. A partial transfer function (PTF) describes the behavior of a procedure assuming

Pointer Analysis for Multithreaded Programs

by Radu Rugina, Martin Rinard - ACM SIGPLAN 99 , 1999
"... This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers. For each pointer and each program point, the algorithm computes a conservative approximation of the memory locations ..."
Abstract - Cited by 158 (11 self) - Add to MetaCart
This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers. For each pointer and each program point, the algorithm computes a conservative approximation of the memory locations

The Effects of the Precision of Pointer Analysis

by Marc Shapiro, Susan Horwitz - In Proceedings of the 4th International Symposium on Static Analysis , 1997
"... . In order to analyze programs that manipulate pointers, it is necessary to have safe information about what each pointer might point to. There are many algorithms that can be used to determine this information, with varying degrees of accuracy. However, there has been very little previous work that ..."
Abstract - Cited by 79 (1 self) - Add to MetaCart
that addresses how much the relative accuracies of different pointer-analysis algorithms affect "transitive" results: the results of a subsequent analysis. We have carried out a number of experiments with flow-insensitive, context-insensitive pointer analyses to address the following questions: -- How

Putting Pointer Analysis to Work

by Rakesh Ghiya, Laurie J. Hendren , 1998
"... This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis. Rather, we focus on putting two existing pointer analyses, points-to analysis and connection analysis, to work. We demonstrate that the fundamen ..."
Abstract - Cited by 96 (8 self) - Add to MetaCart
This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis. Rather, we focus on putting two existing pointer analyses, points-to analysis and connection analysis, to work. We demonstrate

Pointer Analysis – A Survey

by Vishwanath Raman , 2004
"... Pointer analysis has been studied for over two decades. It answers the following question – For variables of pointer types, what are the set of objects they may point to at runtime. The analysis is also called Points-to analysis. Pointer analysis is used in a variety of applications, including live ..."
Abstract - Add to MetaCart
Pointer analysis has been studied for over two decades. It answers the following question – For variables of pointer types, what are the set of objects they may point to at runtime. The analysis is also called Points-to analysis. Pointer analysis is used in a variety of applications, including live

Client-driven pointer analysis

by Samuel Z. Guyer, Calvin Lin - In International Static Analysis Symposium , 2003
"... Abstract. This paper presents a new client-driven pointer analysis algorithm thatautomatically adjusts its precision in response to the needs of client analyses. We evaluate our algorithm on 18 real C programs, using five significant error detec-tion problems as clients. We compare the accuracy and ..."
Abstract - Cited by 56 (10 self) - Add to MetaCart
Abstract. This paper presents a new client-driven pointer analysis algorithm thatautomatically adjusts its precision in response to the needs of client analyses. We evaluate our algorithm on 18 real C programs, using five significant error detec-tion problems as clients. We compare the accuracy

Fast online pointer analysis

by Martin Hirzel, Daniel Von Dincklage, Amer Diwan, Michael Hind - ACM Transactions on Programming Languages and Systems , 2005
"... Pointer analysis benefits many useful clients, such as compiler optimizations and bug finding tools. Unfortunately, common programming language features, such as dynamic loading, reflection, and foreign language interfaces, make pointer analysis difficult. This paper describes how to deal with these ..."
Abstract - Cited by 20 (2 self) - Add to MetaCart
Pointer analysis benefits many useful clients, such as compiler optimizations and bug finding tools. Unfortunately, common programming language features, such as dynamic loading, reflection, and foreign language interfaces, make pointer analysis difficult. This paper describes how to deal

Symbolic pointer analysis revisited

by Jianwen Zhu, Silvian Calman - In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation , 2004
"... Pointer analysis is a critical problem in optimizing compiler, par-allelizing compiler, software engineering and most recently, hard-ware synthesis. While recent efforts have suggested symbolic method, which uses Bryant’s Binary Decision Diagram as an alternative to capture the point-to relation, no ..."
Abstract - Cited by 39 (1 self) - Add to MetaCart
Pointer analysis is a critical problem in optimizing compiler, par-allelizing compiler, software engineering and most recently, hard-ware synthesis. While recent efforts have suggested symbolic method, which uses Bryant’s Binary Decision Diagram as an alternative to capture the point-to relation

Interprocedural Pointer Analysis for C

by For C, Interprocedural Pointer Analysis For C, John Lu, John Lu , 1996
"... Interprocedural pointer analysis provides information on the values pointer variables may have at various points in a program. It is especially useful in languages like C, where pointers are extensively used. This analysis does not improve code directly but is used by other optimizations. ..."
Abstract - Add to MetaCart
Interprocedural pointer analysis provides information on the values pointer variables may have at various points in a program. It is especially useful in languages like C, where pointers are extensively used. This analysis does not improve code directly but is used by other optimizations.

Fulcra Pointer Analysis Framework

by Erik Matthew Nystrom , 2005
"... Fulcra is a flexible and accurate pointer analysis framework. The algorithms developed permit accurate analysis of programs within SPEC and Mediabench benchmark suites generally within a small number of seconds. Even when a very detailed heap allocation model is used, the longest analysis time is 5 ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
Fulcra is a flexible and accurate pointer analysis framework. The algorithms developed permit accurate analysis of programs within SPEC and Mediabench benchmark suites generally within a small number of seconds. Even when a very detailed heap allocation model is used, the longest analysis time is 5
Results 1 - 10 of 149,660