See this document in CiteSeerX!

Precise Call Graphs for C Programs with Function Pointers Ana Milanova ()  (Make Corrections)  
Department of Computer Science, Rensselaer Polytechnic Institute Atanas...



  Home/Search   Context   Related

 
View or download:
rpi.edu/~milanova/docs...paper_kluw.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  rpi.edu/~milanova/papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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