Field-Sensitive Value Analysis by Field-Insensitive Analysis

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir y Puebla Sánchez, Alvaro Germán (2009). Field-Sensitive Value Analysis by Field-Insensitive Analysis. En: "2nd World Congress on Formal Methods, FM '09", 02/11/2009 - 06/11/2009, Eindhoven, Paises Bajos. ISBN 978-3-642-05088-6.

Descripción

Título: Field-Sensitive Value Analysis by Field-Insensitive Analysis
Autor/es:
  • Albert Albiol, Elvira
  • Arenas Sánchez, Purificación
  • Genaim, Samir
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 2nd World Congress on Formal Methods, FM '09
Fechas del Evento: 02/11/2009 - 06/11/2009
Lugar del Evento: Eindhoven, Paises Bajos
Título del Libro: FM 2009: Formal Methods. 2nd World Congress
Fecha: 2009
ISBN: 978-3-642-05088-6
Volumen: 5850
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
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 (280kB) | Vista Previa

Resumen

Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this paper, we first identify sufficient conditions under which heap allocated numeric variables in object oriented programs (i.e., numeric fields) can be handled as non-heap allocated variables. Then, we present a static analysis to infer which numeric fields satisfy these conditions at the level of (sequential) bytecode. This allows instrumenting the code with ghost variables which make such numeric fields observable to any field-insensitive value analysis. Our experimental results in termination analysis show that we greatly enlarge the class of analyzable programs with a reasonable overhead

Más información

ID de Registro: 5702
Identificador DC: http://oa.upm.es/5702/
Identificador OAI: oai:oa.upm.es:5702
URL Oficial: http://www.springerlink.com/content/n673175223m4873n/
Depositado por: Memoria Investigacion
Depositado el: 12 Ene 2011 09:57
Ultima Modificación: 20 Abr 2016 14:26
  • 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