Marc Shapiro  Home/Search
Context Related
| wisc.edu/wpis/papers/sas97.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) Homepages: M.Shapiro |
Rate this article:      (best)Comment on this article |
Abstract: . 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 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... (Update)
Cited by: More
Analysis and Visualization of - Predicate Dependence On (Correct)
A Qualitative Study of Two Whole-Program Slicers for C - Leeann Bent Darren (2001) (Correct)
Error Checking with Client-Driven Pointer Analysis - Guyer, Lin (2003) (Correct)
Active bibliography (related documents): More All
0.4: Fast and Accurate Flow-Insensitive Points-To Analysis - Shapiro, Horwitz (1997) (Correct)
0.3: Estimating the Impact of Scalable Pointer Analysis on.. - Das, Liblit, Fähndrich, .. (2001) (Correct)
0.1: Which Pointer Analysis Should I Use? - Hind, Pioli (2000) (Correct)
Similar documents based on text: More All
0.3: Pointer Analysis: Haven't We Solved This Problem Yet? - Hind (2001) (Correct)
0.2: Dynamic Points-To Sets: A Comparison with Static Analyses and.. - Mock, al. (2001) (Correct)
0.2: Pointer Analysis for Programs with Structures and Casting - Yong, Horwitz, Reps (1999) (Correct)
Related documents from co-citation: More All
32: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
30: Points-to analysis in almost linear time - Steensgaard - 1996
24: Fast and accurate flow-insensitive point-to analysis - Shapiro, Horwitz - 1997
BibTeX entry: (Update)
Marc Shapiro and Susan Horwitz. The effects of the precision of pointer analysis. In Pascal Van Hentenryck, editor, Lecture Notes in Computer Science, 1302, pages 16--34. Springer-Verlag, 1997. Proceedings from the 4th International Static Analysis Symposium. http://citeseer.ist.psu.edu/shapiro97effects.html More
@article{ shapiro97effects,
author = "M. Shapiro and S. Horwitz",
title = "The Effects of the Precision of Pointer Analysis",
journal = "Lecture Notes in Computer Science",
volume = "1302",
pages = "16--??",
year = "1997",
url = "citeseer.ist.psu.edu/shapiro97effects.html" }
Citations (may not include all citations):390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
246 Context-sensitive interprocedural points-to analysis in the .. - 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
180 Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
156 A unified approach to global program optimization (context) - Kildall - 1973
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
114 Fast and accurate flow-insensitive points-to analysis - Shapiro, Horwitz - 1997
78 Applied Linear Statistical Models (context) - Neter, Wasserman - 1974
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
57 Speeding up slicing - Horwitz, Reps et al. - 1994
45 Efficient detection of all pointer and array access errors - Austin, Breach et al. - 1994
17 Data structures and network flow algorithms (context) - Tarjan - 1983
15 Invariance of approximative semantics with respect to progra.. - Giegerich, Moncke et al. - 1981
3 Context-sensitive alias analysis reconsidered (context) - Ruf - 1995
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