Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

  • Authors:
  • Rakesh Ghiya;Laurie J. Hendren

  • Affiliations:
  • School of Computer Science, McGill University, Montréal, Québec, Canada H3A 2A7;School of Computer Science, McGill University, Montréal, Québec, Canada H3A 2A7

  • Venue:
  • POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract