Parametric shape analysis via 3-valued logic

@article{Sagiv2002ParametricSA,
  title={Parametric shape analysis via 3-valued logic},
  author={Shmuel Sagiv and Thomas W. Reps and Reinhard Wilhelm},
  journal={ACM Trans. Program. Lang. Syst.},
  year={2002},
  volume={24},
  pages={217-298}
}
Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on dynamically allocated storage. This article presents a parametric framework for shape analysis that can be instantiated in different ways to create different shape-analysis algorithms that provide varying degrees of efficiency and precision. A key innovation of the work is that the stores that can possibly arise during execution are represented (conservatively) using 3-valued… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 67 CITATIONS, ESTIMATED 94% COVERAGE

Finite differencing of logical formulas for static analysis

  • ACM Trans. Program. Lang. Syst.
  • 2010
VIEW 18 EXCERPTS
CITES METHODS, RESULTS & BACKGROUND
HIGHLY INFLUENCED

Componentized heap abstraction

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Abstraction Refinement via Inductive Learning

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Abstraction Refinement for 3-Valued-Logic Analysis

  • 2004
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Partially Disjunctive Heap Abstraction

VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Static Program Analysis via 3-Valued Logic

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Checking semantic usage of frameworks

VIEW 3 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Lazy Shape Analysis

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2002
2016

CITATION STATISTICS

  • 11 Highly Influenced Citations

  • Averaged 1 Citations per year over the last 3 years

Similar Papers

Loading similar papers…