See this document in CiteSeerX!

Incremental Analysis For Flow- And Context-Sensitive Data-Flow Problems (1999)  (Make Corrections)  
Jyh-Shiarn Yur
International Conference on Software Engineering



  Home/Search   Context   Related

 
View or download:
rutgers.edu/pub/techn...dcstr393.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  rutgers.edu/pub/technicalrepo... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Data-flow analysis is widely used in extracting from source programs useful information for program optimization, program understanding, program restructuring, and testing. When a quality solution is demanded, consideration of the control flow information and calling contexts in the data-flow analysis is inevitable, but it usually involves extensive computation. When the data-flow information is used in an application in which users may interactively change the source program and check program... (Update)

Similar documents (at the sentence level):
15.6%:   Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998)   (Correct)
10.1%:   Incremental Analysis of Side Effects for C Software Systems - Yur, Ryder, Landi, Stocks (1997)   (Correct)
8.6%:   An Incremental Flow- and Context-sensitive Pointer Aliasing.. - Yur, Ryder, Landi (1999)   (Correct)

Active bibliography (related documents):   More   All
6.3:   A Schema for Interprocedural Modification.. - Ryder, Landi.. (2001)   (Correct)
1.9:   Complexity of Points-to Analysis of Java in the Presence of.. - Chatterjee, Ryder   (Correct)
1.7:   Modular Data-Flow Analysis Of Statically Typed Object-Oriented.. - Chatterjee (2000)   (Correct)

Similar documents based on text:   More   All
0.7:   Dataflow Analysis Of Software Fragments - Rountev (2002)   (Correct)
0.6:   Online Profiling And Feedback-Directed Optimization Of Java - Arnold (2002)   (Correct)
0.3:   Incremental Analysis of MOD Problem for C - Yur, Ryder (1995)   (Correct)

BibTeX entry:   (Update)

@inproceedings{ yur99incremental,
    author = "Jyh-Shiarn Yur and Barbara G. Ryder and William Landi",
    title = "An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis",
    booktitle = "International Conference on Software Engineering",
    pages = "442-451",
    year = "1999",
    url = "citeseer.ist.psu.edu/article/yur99incremental.html" }
Citations (may not include all citations):
1399   Compilers: Principles (context) - Aho, Sethi et al. - 1986
390   Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
318   IEEE Transactions on Software Engineering (context) - Weiser - 1984
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
232   Program analysis and specialization for the C programming la.. (context) - Andersen - 1994
228   Points-to analysis in almost linear time - Steensgaard - 1996
207   Flow analysis and optimization of lisp-like structures (context) - Jones, Muchnick - 1982
200   Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
195   ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
186   The program dependence graph in a software development envir.. (context) - Ottenstein, Ottenstein - 1984
146   Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
144   Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
132   Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
129   Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
116   Monotone data flow analysis frameworks (context) - Kam, Ullman - 1977
101   Context-insensitive alias analysis reconsidered - Ruf - 1995
99   A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
99   Dependence analysis for pointer variables (context) - Horwitz, Pfei et al. - 1989
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
77   The semantic approach to program slicing (context) - Venkatesh - 1991
77   Slicing object-oriented software (context) - Larsen, Harrold - 1996
73   A safe approximation algorithm for interprocedural pointer a.. (context) - Landi, Ryder - 1992
72   Putting pointer analysis to work - Ghiya, Hendren - 1998
70   An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1990
68   ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
68   Interprocedural Data Flow Analysis in the Presence of Pointe.. - Weihl - 1980
68   On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
61   Control-flow Analysis of Higher-Order Languages or Taming La.. - Shivers - 1991
59   Demand interprocedural dataflow analysis - Horwitz, Reps et al. - 1995
55   A program data flow analysis procedure (context) - Allen, Cocke - 1976
55   Demand-driven computation of interprocedural data flow - Duesterwald, Gupta et al. - 1995
54   The design of whole-program analysis tools - Atkinson, Griswold - 1996
51   Connection analysis: A practical interprocedural heap analys.. - Ghiya, Hendren - 1996
47   Interprocedural def-use associations for C systems with sing.. (context) - Pande, Landi et al. - 1994
46   Infinitary control flow analysis: a collecting semantics for.. - Nielson, Nielson - 1997
44   A practical interprocedural data flow analysis algorithm (context) - Barth - 1978
44   cient context-sensitive pointer analysis for C programs (context) - Wilson, Lam - 1995
41   Pointer-induced aliasing: A clarification (context) - Marlowe, Landi et al. - 1993
38   Analyzing aliases of reference formal parameters (context) - Cooper - 1985
38   Program decomposition for pointer aliasing: A step towards p.. - Zhang, Ryder et al. - 1996
35   Reuse-driven interprocedural slicing - Harrold, Ci - 1998
35   System-dependence-graphbased slicing of programs with arbitr.. - Sinha, Harrold et al. - 1999
35   Incremental data flow analysis algorithms (context) - Ryder, Paull - 1988
34   Relevant context inference (context) - Chatterjee, Ryder et al. - 1999
29   Precise interprocedural chopping (context) - Reps, Rosay - 1995
28   An incremental version of iterative data flow analysis (context) - Pollock, So - 1989
27   Incremental data flow analysis in a structured program edito.. (context) - Zadeck - 1984
27   Solving demand versions of interprocedural analysis problems (context) - Reps - 1994
25   A technique for analyzing pointer and structure references i.. (context) - Guarna - 1988
23   A practical framework for demand-driven interprocedural data.. - Duesterwald, Gupta et al. - 1997
23   ectiveness of dataflow- and controlflow-based test adequacy .. (context) - Hutchins, Foster et al. - 1994
23   Flowinsensitive interprocedural alias analysis in the presen.. - Burke, Carini et al. - 1994
22   Comparing flow- and context-sensitivity on the modification .. - Stocks, Ryder et al. - 1998
22   ects of the precision of pointer analysis (context) - Shapiro, Horwitz - 1997
21   More experience with data flow testing (context) - Weyuker - 1994
19   A practical interprocedural alias analysis for an optimizing.. (context) - Emami - 1993
18   cient flow-sensitive interprocedural computation of pointer-.. (context) - Choi, Burke et al. - 1993
18   pointers and polymorphism analysis and its application to sl.. (context) - Tonella, Antoniol et al. - 1997
17   Slicing class hierarchies in c (context) - Tip, Choi et al. - 1996
15   A critical analysis of incremental iterative data flow analy.. (context) - Burke, Ryder - 1990
15   Incremental data flow analysis via dominator and attribute u.. (context) - Carroll, Ryder - 1988
14   Retargetable high-level alias analysis (context) - Coutant - 1986
14   Conditions for incremental iteration: Examples and counterex.. (context) - Ryder, Marlowe et al. - 1988
13   ective whole-program analysis in the presence of pointers (context) - Atkinson, Griswold - 1998
13   Separate computation of alias information for reuse - Harrold, Rothermel - 1996
12   cient hybrid algorithm for incremental data flow analysis (context) - Marlowe, Ryder - 1990
12   Computation of aliases and support sets (context) - Neirynck, Panangaden et al. - 1987
11   Ambitious Data Flow Analysis of Procedural Programs (context) - Cooper - 1989
10   The method of attributes for data flow analysis (context) - Babich, Jazayeri - 1978
10   Hybrid slicing: An approach for refining static slices using.. - Gupta, So - 1996
10   Selecting and using data for integration testing (context) - Harrold, So - 1991
10   cient computation of interprocedural definition-use chains (context) - Harrold, So - 1994
10   Interprocedural may alias for pointers: Beyond k-limiting (context) - Deutsch - 1994
10   Interprocedural modification side e#ect analysis with pointe.. (context) - Landi, Ryder et al. - 1993
10   Data Flow Analysis and Incremental Iteration (context) - Marlowe - 1989
9   Data-flow testing with pointers and function calls (context) - Ostrand - 1990
9   Hybrid incremental alias algorithms (context) - Marlowe, Ryder - 1991
8   A logic-based approach to data flow analysis (context) - Sagiv, Francez et al. - 1990
8   Parcel and Miprac: parallelizers for symbolic and numeric pr.. (context) - Ammarguellat - 1990
6   Modular Data-flow Analysis of Statically Typed Objectoriente.. - Chatterjee - 1999
5   cient computation of flow insensitive interprocedural summar.. (context) - Cooper, Kennedy - 1984
5   ectiveness of branch testing with data-flow testing (context) - Frankel, Weiss et al. - 1993
5   Further empirical studies of test e#ectiveness (context) - Frankel, Iakounenko - 1998
5   Data-flow-based testing of object-oriented libraries - Chatterjee, Ryder - 1999
5   Incremental algorithms and empirical comparison for flow- an.. - Yur, Ryder et al. - 1998
5   A schema for interprocedural side e#ect analysis with pointe.. (context) - Landi, Ryder et al. - 1998
4   Fast and accurate flow-insensitive pointsto analysis (context) - Shapiro, Horwitz - 1997
4   Incremental program testing using dependence graphs (context) - Bates, Horwitz - 1993
4   Incremental analysis of side e#ects for C software systems (context) - Yur, Ryder et al. - 1997
4   Using program slices in software maintenance (context) - Gallagher, Lyle - 1991
4   An incremental flow- and contextsensitive pointer aliasing a.. - Yur, Ryder et al. - 1999
4   Global flow analysis and iterative algorithms (context) - Kam, Ullman - 1976
3   Complexity of interprocedural side-e#ect analysis (context) - Cooper, Kennedy - 1987
3   A survey of program slicing technques (context) - Tip - 1996
3   ect analysis in linear time (context) - Cooper, Kennedy - 1988
3   cient way to find the side e#ects of procedure calls and the.. (context) - Banning - 1979
2   Call graph constrction in object-oriented languages (context) - Grove, DeFouw et al. - 1997
2   Tarjan's fast interval finding algorithm (context) - Schwartz, Sharir - 1978
2   ects of flow sensitivity on pointer alias analysis (context) - Hind, Pioli - 1998
1   Dataflow Update via Attribute and Dominator Update (context) - Carroll - 1988
1   An interval analysis approach toward interprocedural data fl.. (context) - Burke - 1984

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