Shape Analysis with Structural Invariant Checkers

@inproceedings{Chang2007ShapeAW,
  title={Shape Analysis with Structural Invariant Checkers},
  author={Bor-Yuh Evan Chang and Xavier Rival and George C. Necula},
  booktitle={SAS},
  year={2007}
}
Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the desired shape invariants. We observe that data structure checking code (e.g., used in testing or dynamic analysis) provides shape information that can also be used in static analysis. In this paper, we propose a lightweight, automatic shape analysis based on these developer-supplied structural invariant checkers. In particular, we… CONTINUE READING

Figures and Topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 62 CITATIONS

Construcción de programas que manejan dinámicamente la memoria

VIEW 38 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Shape Analysis for Unstructured Sharing

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS

Separating Shape Graphs

VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS

Relational inductive shape analysis

VIEW 10 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS

Scalable Shape Analysis for Systems Code

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Semantic-directed clumping of disjunctive abstract states

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS

Lifting Numerical Abstract Domains to Heap-manipulating Programs

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Modular Construction of Shape-Numeric Analyzers

VIEW 6 EXCERPTS
CITES BACKGROUND

Reduced Product Combination of Abstract Domains for Shapes

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND

FILTER CITATIONS BY YEAR

2007
2019

CITATION STATISTICS

  • 5 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 24 REFERENCES

Shape analysis with structural invariant checkers

  • Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
  • Technical Report UCB/EECS-2007-80,
  • 2007
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Necula . Shape analysis with structural invariant checkers

  • Bor-Yuh Evan Chang, Xavier Rival, C. George
  • 2007

Rinard . Field constraint analysis

  • Patrick Lam, C. Martin
  • 2006