Saumya Debray, Robert Muth, Matthew Weippert  Home/Search
Context Related
| arizona.edu/reports/1997...TR9713.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: arizona.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfortunately, most existing alias analyses are formulated in terms of high-level language features, and are unable to cope with features, such as pointer arithmetic, that pervade executable programs. This paper describes a simple algorithm that can be used to obtain aliasing information for executable code. In order to be... (Update)
Cited by: More
A Next-Generation Platform for Analyzing Executables - Reps Balakrishnan Lim (Correct)
CodeSurfer/x86---A Platform for Analyzing x86 - Executables Gogul Balakrishnan (Correct)
Recovery of Variables and Heap Structure in x86 Executables - Gogul Balakrishnan Bgogul (Correct)
Similar documents (at the sentence level):
74.8%: Alias Analysis of Executable Code - Saumya Debray (1998) (Correct)
Active bibliography (related documents): More All
0.2: Interprocedural Control Flow Analysis of First-Order.. - Debray, Proebsting (1996) (Correct)
0.2: alto: A Link-Time Optimizer for the Compaq Alpha - Muth, Debray, Watterson (1999) (Correct)
0.2: alto: A Link-Time Optimizer for the DEC Alpha - Muth, Debray, Watterson (1998) (Correct)
Similar documents based on text: More All
0.5: Speculative Alias Analysis for Executable Code - Fernández, Espasa (Correct)
0.2: Compiler Techniques for Code Compression - Debray, Evans, Muth (1999) (Correct)
0.2: Compiler Techniques for Code Compaction - Debray, Evans, Muth, De Sutter (2000) (Correct)
Related documents from co-citation: More All
16: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
11: Compilers: Principles (context) - Aho, Sethi et al. - 1986
10: Fast and accurate flow-insensitive point-to analysis - Shapiro, Horwitz - 1997
BibTeX entry: (Update)
S. K. Debray, R. Muth, and M. Weippert, "Alias Analysis of Executable Code", Proc. 1998 ACM Symposium on Principles of Programming Languages, pp. 12--24. http://citeseer.ist.psu.edu/debray98alias.html More
@inproceedings{ debray98alias,
author = "Saumya K. Debray and Robert Muth and Matthew Weippert",
title = "Alias Analysis of Executable Code",
booktitle = "Symposium on Principles of Programming Languages",
pages = "12-24",
year = "1998",
url = "citeseer.ist.psu.edu/debray98alias.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
442 Concrete Mathematics (context) - Graham, Knuth et al. - 1989
352 Supercompilers for Parallel and Vector Computers (context) - Zima, Chapman - 1991
283 Optimizing Supercompilers for Supercomputers (context) - Wolfe - 1989
252 Analysis of Pointers and Structures (context) - Chase, Wegman et al. - 1990
246 Context-Sensitive Interprocedural Points-to Analysis in the .. - Emami, Ghiya et al. - 1994
228 Points-to Analysis in Almost Linear Time - Steensgaard - 1996
207 Flow analysis and optimization of LISP-like structures (context) - Jones, Muchnick - 1981
180 Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson, Lam - 1995
175 A Safe Approximate Algorithm for Interprocedural Pointer Ali.. - Landi, Ryder - 1992
171 EEL: Machine-independent Executable Editing (context) - Larus, Schnarr - 1995
132 Detecting Conflicts Between Structure Accesses (context) - Larus, Hilfinger - 1988
131 Interprocedural May-Alias Analysis for Pointers: Beyond k-li.. - Deutsch - 1994
114 Fast and Accurate Flow-Insensitive Points-To Analysis - Shapiro, Horwitz - 1997
101 Context-Insensitive Alias Analysis Reconsidered - Ruf - 1995
99 Dependence Analysis for Pointer Variables (context) - Horwitz, Pfeiffer et al. - 1989
99 Global Register Allocation at Link Time - Wall - 1986
97 Pointer-induced Aliasing: A Problem Classification (context) - Landi, Ryder - 1991
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982
89 A Practical System for Intermodule Code Optimization at Link.. - Srivastava, Wall - 1993
79 Efficient Flow-Sensitive Interprocedural Computation of Poin.. - Choi, Burke et al. - 1993
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
51 Simple and Effective Link-Time Optimization of Module-3 Prog.. - Fernandez - 1995
51 Fast Interprocedural Alias Analysis (context) - Cooper, Kennedy - 1989
49 Type-Based Alias Analysis - Diwan, McKinley et al. - 1996
23 Interprocedural Dataflow Analysis in an Executable Optimizer - Goodwin - 1997
14 Instrumentation and Optimization of Win32/Intel Executables (context) - Romer, Voelker et al. - 1997
14 Retargetable High-Level Alias Analysis (context) - Coutant - 1986
13 Spike: An Optimizer for Alpha/NT Executables (context) - Cohn, Goodwin et al. - 1997
11 Link-time Optimization of Address Calculation on a 64-bit Ar.. (context) - Srivastava, Wall - 1994
10 Effectiveness of a Machine-Level Global Optimizer (context) - Johnson, Miller - 1986
7 A General Data Dependence Test for Dynamic, Pointer-Based Da.. - Hummel, Hendren et al. - 1994
4 alto : A Link-Time Optimizer for the DEC Alpha (context) - De Bosschere, Debray - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.arizona.edu.html): More
x-Kernel Programmer's Manual (Version 3.2) - Menze, III, Orman (1996) (Correct)
Implementing a Secure rlogin Environment: A Case Study of.. - Kim, Orman, O'Malley (1995) (Correct)
A Software Platform for Constructing Scientific.. - Homer, Schlichting (1992) (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