M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In Program Flow Analysis: Theory and Applications. Prentice-Hall, Englewood Cliffs, NJ, 1981. 5  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Model Checking x86 Executables - With Codesurfer And (Correct)
A Relational Approach to Interprocedural Shape Analysis.. - Alexey Loginov Thomas (Correct)
Weighted Pushdown Systems - And Their Application (Correct)
Recovery of Variables and Heap Structure in x86 Executables - Gogul Balakrishnan Bgogul (Correct)
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept (Correct)
Demand Interprocedural Dataflow Analysis - Susan Horwitz Thomas (Correct)
Extended Weighted Pushdown Systems - Akash Lal Thomas (Correct)
Intermediate-Representation Recovery from Low-Level Code - Thomas Reps Gogul (Correct)
WYSINWYX: What You See Is Not What You eXecute - Balakrishnan Reps Melski (Correct)
On Generalized Authorization Problems - Schwoon Jha Reps (Correct)
Robustness Testing of Java Server Applications - Fu, Milanova, Ryder, Wonnacott (2005) (Correct)
Annotated Inclusion Constraints for Precise Flow Analysis - Ana Milanova Department (Correct)
Precise Call Graphs for C Programs with Function Pointers .. - Department Of Computer (Correct)
Composition Inference for UML Class Diagrams - Milanova (2006) (Correct)
Robustness Testing of Java Server Applications - Fu, Milanova, Ryder, Wonnacott (2004) (Correct)
Testing of Java Web Services for Robustness - Fu, Ryder, Milanova, Wonnacott (2004) (2 citations) (Correct)
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
Precise Alias Analysis for Static Detection of Web.. - Jovanovic, Kruegel.. (Correct)
Report No. UCB/CSD-4-1353 - August Computer Science (Correct)
Resolving and Applying Constraint Queries on - Context-Sensitive Analyses James (2004) (Correct)
Effective Interprocedural Optimization of Object-Oriented Languages - Grove (1998) (5 citations) (Correct)
Type Analysis and Type-test Elimination in Oberon-2 - Jens Knoop And (Correct)
Adaptive Online Context-Sensitive Inlining - Hazelwood, Grove (2003) (6 citations) (Correct)
Parameterized Object Sensitivity for Points-to Analysis for .. - Milanova, Rountev, Ryder (2002) (Correct)
Summarizing Procedures in Concurrent Programs - Qadeer, Rajamani, Rehof (2004) (2 citations) (Correct)
First 50 documents Next 50
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