Blog
About

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

      From Low-Level Pointers to High-Level Containers

      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

          We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls of standard high-level container operations like push_back or pop_front. The input of our method is a C program annotated by a special form of shape invariants which can be obtained from current automatic shape analysers after a slight modification. The resulting program where the low-level pointer statements are summarized into high-level container operations is more understandable and (among other possible benefits) better suitable for program analysis. We have implemented our approach and successfully tested it through a number of experiments with list-based containers, including experiments with simplification of program analysis by separating shape analysis from analysing data-related properties.

          Related collections

          Author and article information

          Journal
          27 October 2015
          Article
          1510.07995

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

          Custom metadata
          FIT BUT Technical Report Series, Technical Report No. FIT-TR-2015-03
          An extended version of a VMCAI'16 paper
          cs.PL

          Programming languages

          Comments

          Comment on this article