, Alexey Loginov, Thomas Reps, and Mooly Sagiv IRISA;...  Home/Search
Context Related
| wisc.edu/wpis/papers/tr1505.ps 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: wisc.edu/wpis/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fields---i.e., interprocedural shape analysis. It presents a way to apply some previously known approaches to interprocedural dataflow analysis---which in past work have been applied only to a much less rich setting---so that they can be applied to programs that use heap-allocated storage and perform destructive... (Update)
Cited by: More
Automatic Assume/Guarantee Reasoning for - Heap-Manipulating Programs Ongoing (Correct)
A Semantics for Procedure Local Heaps - And Its Ions (Correct)
A Relational Approach to Interprocedural Shape Analysis.. - Alexey Loginov Thomas (2004) (Correct)
Active bibliography (related documents): More All
0.7: Static Program Analysis via 3-Valued Logic - Thomas Reps Mooly (2004) (Correct)
0.2: A Framework for Numeric Analysis of Array Operations - Denis Gopan Gopan (Correct)
0.2: Abstraction Refinement for 3-Valued-Logic Analysis - Loginov, Reps, Sagiv (2004) (Correct)
Similar documents based on text:
4.0: Unknown - (Correct)
Related documents from co-citation: More All
3: Interprocedural shape analysis for recursive programs - Rinetzky, Sagiv - 2001
3: Parametric shape analysis via 3valued logic - Sagiv, Reps et al. - 1999
3: Finite differencing of logical formulas for static analysis - Reps, Sagiv et al. - 2003
BibTeX entry: (Update)
@misc{ thomas-relational,
author = "Alexey Loginov Thomas",
title = "A Relational Approach to Interprocedural Shape Analysis Bertrand Jeannet",
url = "citeseer.ist.psu.edu/jeannet04relational.html" }
Citations (may not include all citations):150 Parametric shape analysis via 3-valued logic - Sagiv, Reps et al. - 2002
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch - 1990
59 The interprocedural coincidence theorem - Knoop, Steffen - 1992
45 Precise interprocedural dataflow analysis with applications .. - Sagiv, Reps et al. - 1996
44 Static determination of dynamic properties of recursive proc.. (context) - Cousot, Cousot - 1978
31 Program derivation by fixed point computation - Cai, Paige - 1989
28 TVLA: A system for implementing static analyses (context) - Lev-Ami, Sagiv - 2000
23 Weighted pushdown systems and their application to interproc.. (context) - Reps, Schwoon et al. - 2003
16 Logical characterizations of heap abstractions (context) - Yorsh - 2003
16 The octagon abstract domain (context) - Mine - 2001
13 Propagating differences: An efficient new fixpoint algorithm.. - Fecht, Seidl - 1998
12 Automatic discovery of linear constraints among variables of.. (context) - Cousot, Halbwachs - 1978
10 Finite differencing of logical formulas for static analysis - Reps, Sagiv et al. - 2003
9 Numeric domains with summarized dimensions - Gopan, DiMaio et al. - 2004
8 Bebop: A path-sensitive interprocedural dataflow engine (context) - Ball, Rajamani - 2001
8 Interprocedural shape analysis for recursive programs - Rinetzky, Sagiv - 2001
3 Abstraction refinement for 3-valued-logic analysis - Loginov, Reps et al. - 2004
1 A differential evaluation of fixpoint iterations (context) - Ahn - 2001
1 An improved differential fixpoint iteration method for progr.. (context) - Eo, Yi - 2002
Documents on the same site (http://www.cs.wisc.edu/wpis/papers/): More
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Modular Pointer Analysis - Susan Horwitz And (Correct)
Weighted Pushdown Systems and Weighted Transducers - Lal, Touili, Kidd, Reps (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