Heap analysis in the presence of collection libraries

Marron, Mark; Stefanovic, Darko; Hermenegildo, Manuel V. y Kapur, Deepak (2007). Heap analysis in the presence of collection libraries. En: "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.

Descripción

Título: Heap analysis in the presence of collection libraries
Autor/es:
  • Marron, Mark
  • Stefanovic, Darko
  • Hermenegildo, Manuel V.
  • Kapur, Deepak
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Fechas del Evento: June 13 - 14, 2007
Lugar del Evento: San Diego, CA, USA
Título del Libro: PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Fecha: 2007
ISBN: 978-1-59593-595-3
Materias:
Palabras Clave Informales: Shape analysis, Static analysis, Collection library, Análisis de la forma, Análisis estático, Fondo de la biblioteca.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (753kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14335
Identificador DC: http://oa.upm.es/14335/
Identificador OAI: oai:oa.upm.es:14335
URL Oficial: http://dl.acm.org/citation.cfm?id=1251541
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 22 Ene 2013 07:53
Ultima Modificación: 21 Abr 2016 13:57
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM