Dependence Analysis for Pointer Variables

@inproceedings{Horwitz1989DependenceAF,
  title={Dependence Analysis for Pointer Variables},
  author={Susan Horwitz and Phil Pfeiffer and Thomas W. Reps},
  booktitle={PLDI},
  year={1989}
}
Our concern is how to determine data dependencies between program constructs in programming languages with pointer variables. We are particularly interested in computing data dependencies for languages that manipulate heap-allocated storage, such as Lisp and Pascal. We have defined a family of algorithms that compute safe approximations to the flow, output, and anti-dependencies of a program written in such a language. Our algorithms account for destructive updates to fields of a structure and… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 149 CITATIONS, ESTIMATED 23% COVERAGE

Interprocedural pointer alias analysis

  • ACM Trans. Program. Lang. Syst.
  • 1999
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A combined representation for the maintenance of C programs

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Empirical study of optimization techniques for massive slicing

  • ACM Trans. Program. Lang. Syst.
  • 2007
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Parametric shape analysis via 3-valued logic

  • ACM Trans. Program. Lang. Syst.
  • 2002
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Precise Interprocedural Chopping

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1988
2016

CITATION STATISTICS

  • 6 Highly Influenced Citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…