Heap analysis in the presence of collection libraries

Marron, Mark and Stefanovic, Darko and Hermenegildo, Manuel V. and Kapur, Deepak (2007). Heap analysis in the presence of collection libraries. In: "7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering", June 13 - 14, 2007, San Diego, CA, USA. ISBN 978-1-59593-595-3.

Description

Title: Heap analysis in the presence of collection libraries
Author/s:
  • Marron, Mark
  • Stefanovic, Darko
  • Hermenegildo, Manuel V.
  • Kapur, Deepak
Item Type: Presentation at Congress or Conference (Article)
Event Title: 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Event Dates: June 13 - 14, 2007
Event Location: San Diego, CA, USA
Title of Book: PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Date: 2007
ISBN: 978-1-59593-595-3
Subjects:
Freetext Keywords: Shape analysis, Static analysis, Collection library, Análisis de la forma, Análisis estático, Fondo de la biblioteca.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (753kB) | Preview

Abstract

Memory analysis techniques have become sophisticated enough to model, with a high degree of accuracy, the manipulation of simple memory structures (finite structures, single/double linked lists and trees). However, modern programming languages provide extensive library support including a wide range of generic collection objects that make use of complex internal data structures. While these data structures ensure that the collections are efficient, often these representations cannot be effectively modeled by existing methods (either due to excessive analysis runtime or due to the inability to represent the required information). This paper presents a method to represent collections using an abstraction of their semantics. The construction of the abstract semantics for the collection objects is done in a manner that allows individual elements in the collections to be identified. Our construction also supports iterators over the collections and is able to model the position of the iterators with respect to the elements in the collection. By ordering the contents of the collection based on the iterator position, the model can represent a notion of progress when iteratively manipulating the contents of a collection. These features allow strong updates to the individual elements in the collection as well as strong updates over the collections themselves.

More information

Item ID: 14335
DC Identifier: http://oa.upm.es/14335/
OAI Identifier: oai:oa.upm.es:14335
Official URL: http://dl.acm.org/citation.cfm?id=1251541
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 22 Jan 2013 07:53
Last Modified: 21 Apr 2016 13:57
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM