He Zhu and Ian Watson Manchester University  Home/Search
Context
Related
| cs.man.ac.uk/arch/people...p1Europar.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: cs.man.ac.uk/arch/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper reports on constructing an exhaustive full program control flow framework for precise data flow analysis of real programs. We discuss the problem of ambiguous calling relations in the presence of function pointers. A flow insensitive analysis is suggested and implemented for real C programs. 1 Introduction This paper discusses the problem of constructing a full Interprocedural Control Flow Graph (ICFG) for real programs in the presence of function pointers. Without ambiguous... (Update)
Active bibliography (related documents): More All
0.1: Simultaneous Demand-Driven Data-flow and Call Graph Analysis - Agrawal (1999) (Correct)
0.1: Efficient Flow-Insensitive Alias Analysis in the.. - Burke, Carini, Choi.. (Correct)
0.1: Flow-Insensitive Interprocedural Alias Analysis in the Presence of .. - Burke (Correct)
Similar documents based on text: More All
0.2: On the Static Analysis of Indirect Control Transfers.. - De Sutter, De Bus.. (2000) (Correct)
0.1: ATMF/95-0824r8 1 ATM Forum: Technical Committee ATM Forum/.. - Source Multiprotocol (Correct)
0.1: ATMF/95-0824r6 1 ATM Forum: Technical Committee ATM.. - Source Multiprotocol .. (Correct)
BibTeX entry: (Update)
@inproceedings{ zhu97full,
author = "He Zhu and Ian Watson",
title = "A Full Program Control Flow Representation for Real Programs",
booktitle = "European Conference on Parallel Processing",
pages = "162-165",
year = "1997",
url = "citeseer.ist.psu.edu/248496.html" }
Citations (may not include all citations):246 Context-sensitive interprocedural points-to analysis in the .. - Emami - 1994
86 A precise interprocedural data flow algorithm (context) - Myers - 1981
76 The program summary graph and flow-sensitive interprocedural.. (context) - Callahan - 1988
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
48 Points-to analysis by type inference of programs with struct.. - Steensgaard - 1996
42 Fiat: A framework for interprocedural analysis and transform.. (context) - Hall - 1993
30 ACM Letters on Programming Languages and Systems (context) - Hall, Kennedy et al. - 1992
12 Efficient computation of interprocedural definition-use chai.. (context) - Harrold, Soffa - 1994
Documents on the same site (http://www.cs.man.ac.uk/arch/people/z-he/./publications.html):
Identifying Critical Loads in Real Programs for Decoupled VSM.. - He Zhu And (Correct)
Compiling Techniques for Improving Decoupled Virtual Shared Memory.. - Zhu (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