Marc Shapiro, Susan Horwitz  Home/Search
Context Related
| wisc.edu/wpis/papers/popl97.ps wisc.edu/~mds/Shap...roHorwitzPopl97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: 128.105.7.11/wpis/html/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In order to analyze a program that involves pointers, it is necessary to have (safe) information about what each pointer points to. There are many different approaches to computing points-to information. This paper addresses techniques for flow- and context-insensitive interprocedural analysis of stack-based storage. The paper makes two contributions to work in this area: ffl The first contribution is a set of experiments that explore the trade-offs between techniques previously defined by... (Update)
Cited by: More
Efficient Field-Sensitive Pointer Analysis for C - David Pearce Imperial (Correct)
Precise Call Graphs for C Programs with Function Pointers .. - Department Of Computer (Correct)
An Optimizing Compiler for Batches of Temporal Logic - Formulas James Ezick (2004) (Correct)
Active bibliography (related documents): More All
0.6: Program Decomposition for Pointer Aliasing: A Step toward.. - Zhang, Ryder, Landi (1996) (Correct)
0.4: The Effects of the Precision of Pointer Analysis - Shapiro (1997) (Correct)
0.3: Estimating the Impact of Scalable Pointer Analysis on.. - Das, Liblit, Fähndrich, .. (2001) (Correct)
Similar documents based on text: More All
0.2: Reducing the Overhead of Dynamic Analysis - Yong, Horwitz (2002) (Correct)
0.2: Extending and Evaluating Flow-insensitive and.. - Liang, Pennings, Harrold (2001) (Correct)
0.1: Points-To for Java: A General Framework and an Empirical.. - Streckenbach, Snelting (2000) (Correct)
Related documents from co-citation: More All
72: Points-to analysis in almost linear time - Steensgaard - 1996
62: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
51: Program Analysis and Specialization for the C Programming Language (context) - Andersen - 1994
BibTeX entry: (Update)
Marc Shapiro and Susan Horwitz. Fast and accurate flow-insensitive point-to analysis. In 24th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 1--14, January 1997. http://citeseer.ist.psu.edu/shapiro97fast.html More
@inproceedings{ ii97fast,
author = "Marc Shapiro {II} and Susan Horwitz",
title = "Fast and Accurate Flow-Insensitive Points-To Analysis",
booktitle = "Symposium on Principles of Programming Languages",
pages = "1-14",
year = "1997",
url = "citeseer.ist.psu.edu/shapiro97fast.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990 ACM DBLP
246 Contextsensitive interprocedural points-to analysis in the p.. - Emami, Ghiya et al. - 1994
232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
228 Points-to analysis in almost linear time - Steensgaard - 1996 ACM DBLP
207 Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
200 Solving shapeanalysis problems in languages with destructive.. - Sagiv, Reps et al. - 1996
180 Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995 ACM DBLP
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992 ACM DBLP
146 Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989 ACM DBLP
99 A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
79 Efficient flowsensitive interprocedural computation of point.. - Choi, Burke et al. - 1993
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993 ACM
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990 ACM DBLP
48 Points-to analysis by type inference of programs with struct.. - Steensgaard - 1996 ACM DBLP
45 Efficient detection of all pointer and array access errors - Austin, Breach et al. - 1994 ACM DBLP
17 Data structures and network flow algorithms (context) - Tarjan - 1983
3 Context-sensitive alias analysis reconsidered (context) - Ruf - 1995
2 Program decomposition for pointer-induced aliasing analysis - Zhang, Ryder et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://128.105.7.11/wpis/html/): More
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (Correct)
Precise Interprocedural Dataflow Analysis with.. - Sagiv, Reps, Horwitz (1995) (Correct)
Interprocedural Path Profiling - Melski, Reps (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC