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