Department of Computer Science, Rensselaer Polytechnic Institute Atanas...  Home/Search
Context
Related
| rpi.edu/~milanova/docs...paper_kluw.pdf 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: rpi.edu/~milanova/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses through pointer dereferences, as well as indirect procedure calls (e.g., through function pointers in C). Such indirect accesses and calls can be disambiguated with pointer analysis. In this paper we evaluate the precision of one specific pointer analysis (the FA pointer analysis by Zhang et al.) for the purposes of call... (Update)
Similar documents (at the sentence level):
15.2%: Precise Call Graph Construction in the Presence of.. - Milanova, Rountev, Ryder (2001) (Correct)
14.9%: Precise and Efficient Call Graph Construction for C.. - Milanova, Rountev, Ryder (Correct)
13.9%: Precise Call Graphs for C Programs with Function Pointers - Milanova, Rountev, Ryder (2004) (Correct)
Active bibliography (related documents): More All
0.3: Improving Program Slicing with Dynamic Points-To Data - Mock, Atkinson (2002) (Correct)
0.3: Points-to and Side-effect Analyses for Programs Built with.. - Rountev, Ryder (2001) (Correct)
0.3: Points-to Analysis for Java Based on Annotated Constraints - Rountev, Milanova, Ryder (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ computer-precise,
author = "Department Of Computer",
title = "Precise Call Graphs for C Programs with Function Pointers Ana Milanova
(milanova@cs.rpi.edu)",
url = "citeseer.ist.psu.edu/751097.html" }
Citations (may not include all citations):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
144 Two Approaches to Interprocedural Dataflow Analysis (context) - Sharir, Pnueli - 1981
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
73 A Safe Approximation Algorithm for Interprocedural Pointer A.. (context) - Landi, Ryder - 1992
69 Unification-based Pointer Analysis with Directional Assignme.. - Das - 2000
47 An Empirical Study of Static Call Graph Extractors - Murphy, Notkin et al. - 1998
39 Modular Interprocedural Pointer Analysis Using Access Paths - Cheng, Hwu - 2000
38 Program Decomposition for Pointer Aliasing: A Step towards P.. - Zhang, Ryder et al. - 1996
35 Pointer Analysis for Programs with Structures and Casting - Yong, Horwitz et al. - 1999
33 Polymorphic versus Monomorphic Flow-insensitive Points-to An.. - Foster, Fhndrich et al. - 2000
19 Efficient Points-to Analysis for Whole-program Analysis - Liang, Harrold - 1999
15 Undecidability of Static Analysis - Landi - 1992
12 Improving Program Slicing with Dynamic Points-to Data - Mock, Atkinson et al. - 2002
11 Off-line Variable Substitution for Scaling Points-to Analysi.. - Rountev, Chandra - 2000
9 Scalable Context-sensitive Flow Analysis Using Instantiation.. (context) - Fhndrich, Rehof et al. - 2000
9 Interprocedural Pointer Alias Analysis - Hind, Burke et al. - 1999
7 Practical Pointer Aliasing Analyses for C (context) - Zhang - 1998
5 A Schema for Interprocedural Side-Effect Analysis with Point.. (context) - Ryder, Landi et al. - 2001
4 Impact of Function Pointers on the Call Graph - Antoniol, Calzolari et al. - 1999
1 Pointer Analysis: Haven (context) - Hind - 2001
1 Reverse Engineering 4.7 Million Lines of Code (context) - Tonella, Antoniol et al. - 2000
Documents on the same site (http://www.cs.rpi.edu/~milanova/papers.html): More
Testing of Java Web Services for Robustness - Fu, Ryder, Milanova, Wonnacott (2004) (Correct)
Precise Identification of Composition Relationships for UML.. - Milanova (2005) (Correct)
Parameterized Object Sensitivity for Points-to and.. - Milanova, Rountev, Ryder (2002) (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