25
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Heap Abstractions for Static Analysis

      Preprint
      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Heap data is potentially unbounded and seemingly arbitrary. This makes it an interesting topic of study and there is an abundance of literature containing algorithms to construct useful descriptions of heap. Although most studies have addressed related or similar concerns, their formulations and formalisms often seem dissimilar and, some times even unrelated. Thus the insights gained in one investigation do not seem to directly carry over to some other investigation. This survey is a result of our quest for a unifying theme in the existing descriptions of heap (as against the algorithms that construct them). We view a heap abstraction as consisting of two features: a heap model to represent the heap memory and a summarization technique for bounding the heap representation. We classify the models as storeless, store based, and hybrid. We describe various summarization techniques based on k-limiting, allocation sites, patterns, variables, other generic predicates, and logic. This approach allows us to compare the insights of a large number of seemingly dissimilar heap abstractions.

          Related collections

          Author and article information

          Journal
          2014-03-19
          2014-11-02
          Article
          10.1145/2931098
          1403.4910
          f631bb2b-f844-4516-972a-f1c154b8408e

          http://arxiv.org/licenses/nonexclusive-distrib/1.0/

          History
          Custom metadata
          39 pages, 14 figures
          cs.PL

          Programming languages
          Programming languages

          Comments

          Comment on this article