Hemant D. Pande, William Landi, Barbara G. Ryder  Home/Search
Context Related
| rutgers.edu/pub/tech...lcsrtr193.ps.Z 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: rutgers.edu/pub/technicalrepo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the first algorithm that calculates Interprocedural Def-Use Associations in C software systems. Our algorithm accounts for program-point-specific pointer-induced aliases, although it is currently limited to programs using a single level of indirection. We prove the NP-hardness of the Interprocedural Reaching Definitions Problem and point out the approximation made by our polynomial-time algorithm. Initial empirical results are also presented. 3 The research reported here... (Update)
Context of citations to this paper: More
...stripping the assumption sets from the qualified points to pairs on that output and removing duplicates. Some context sensitive analyses [PLR92, LRZ93] prefer to use the qualified information directly; this would be easy to accommodate. 4.2 Implementation The analysis...
Cited by: More
Context-Insensitive Alias Analysis Reconsidered - Ruf (1995) (Correct)
Active bibliography (related documents): More All
1.5: Interprocedural Aliasing In The Presence Of Pointers - Landi (1992) (Correct)
0.7: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing - Landi, Ryder (1992) (Correct)
0.6: A Schema for Interprocedural Modification.. - Landi, Ryder.. (1998) (Correct)
Similar documents based on text: More All
0.5: Symbolic Reaching Definitions Analysis of Ada Programs - Blieberger, Burgstaller (1998) (Correct)
0.3: Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998) (Correct)
0.2: An Incremental Flow- and Context-sensitive Pointer Aliasing.. - Yur, Ryder, Landi (1999) (Correct)
Related documents from co-citation: More All
2: Value dependence graphs: Representation without taxation - Weise, Crew et al. - 1994
BibTeX entry: (Update)
H. D. Pande, W. Landi, and B. G. Ryder. Interprocedural reaching definitions in the presence of single level pointers. Technical Report lcsr-tr-193, Laboratory for Computer Science Research, Rutgers University, Oct. 1992. http://citeseer.ist.psu.edu/pande92interprocedural.html More
@misc{ pande92interprocedural,
author = "H. Pande and W. Landi and B. Ryder",
title = "Interprocedural reaching definitions in the presence of single level pointers",
text = "H. D. Pande, W. Landi, and B. G. Ryder. Interprocedural reaching definitions
in the presence of single level pointers. Technical Report lcsr-tr-193,
Laboratory for Computer Science Research, Rutgers University, Oct. 1992.",
year = "1992",
url = "citeseer.ist.psu.edu/pande92interprocedural.html" }
Citations (may not include all citations):390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1988
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
207 Flow analysis and optimization of lisp-like structures (context) - Jones, Muchnick - 1979
186 The program dependence graph in a software development envir.. (context) - Ottenstein, Ottenstein - 1984
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
166 Selecting software test data using data flow information (context) - Rapps, Weyuker - 1985
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
131 Dynamic program slicing - Agrawal, Horgan - 1990
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989
97 Pointer-induced aliasing: A problem classification (context) - Landi, Ryder - 1991
86 A precise interprocedural data flow algorithm (context) - Myers - 1981
77 The semantic approach to program slicing (context) - Venkatesh - 1991
76 The program summary graph and flow-sensitive interprocedural.. (context) - Callahan - 1988
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
51 Fast interprocedural alias analysis (context) - Cooper, Kennedy - 1989
48 Interprocedural Aliasing in the Presence of Pointers - Landi - 1992
44 A practical interprocedural data flow analysis algorithm (context) - Barth - 1978
38 Dynamic slicing of computer programs (context) - Korel, Laski - 1990
32 Efficient computation of flow insensitive interprocedural su.. (context) - Cooper, Kennedy - 1984
26 Restructuring Symbolic Programs for Concurrent Execution on .. (context) - Larus - 1989
25 A technique for analyzing pointer and structure references i.. (context) - Guarna - 1988
21 Interprocedural data flow testing (context) - Harrold, Soffa - 1989
14 Retargetable high-level alias analysis (context) - Coutant - 1986
12 Computation of aliases and support sets (context) - Neirynck, Panangaden et al. - 1987
12 Ismm: Incremental software maintenance manager (context) - Ryder - 1989
11 A data flow testing tool (context) - Frankl, Weyuker - 1985
11 Ambitious data flow analysis of procedural programs (context) - Cooper - 1989
10 The design of a data flow analyzer (context) - Chow, Rudmik - 1982
9 Data-flow testing with pointers and function calls (context) - Ostrand - 1990
9 Data flow based test adequecy analysis for languages with po.. (context) - Ostrand, Weyuker - 1991
8 Parcel and Miprac: parallelizers for symbolic and numeric pr.. (context) - Ammarguellat - 1990
7 A program integration algorithm that accomodates semantics p.. (context) - Yang, Horwitz et al. - 1990
7 Profiling an incremental data flow analysis algorithm (context) - Ryder, Landi et al. - 1990
6 An incremental algorithm for software analysis (context) - Ryder, Carroll - 1986
6 Data flow analysis in the presence of procedure calls (context) - Lomet - 1977
5 Computation of interprocedural definition and use dependenci.. (context) - Harrold, Soffa - 1990
3 Aliasing with and without pointers: A problem taxonomy (context) - Landi, Ryder - 1990
3 An integrated program representation and toolkit for the mai.. (context) - Platoff, Wagner et al. - 1991
1 Static Analysis in the Presence of Pointers (context) - Pande - 1993
1 Interprocedural definition-use dependency analysis for recur.. (context) - Liu, Taha - 1990
Documents on the same site (http://www.cs.rutgers.edu/pub/technical-reports/): More
Constrained REDO: An Alternative to REPLAY - Liew, Steinberg (1993) (Correct)
Jambalaya: Using Multicast for Blind Distributed Web Searching .. - Navas, Hirsh (1998) (Correct)
Law-Governed Regularities in Software Systems - Minsky (1994) (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