From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir; Puebla Sánchez, Alvaro Germán y Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. En: "SAS'10 17th international conference on Static analysis", 14/09/2010 - 16/09/2010, Perpignan, Francia. ISBN 978-3-642-15768-4.

Descripción

Título: From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
Autor/es:
  • Albert Albiol, Elvira
  • Arenas Sánchez, Purificación
  • Genaim, Samir
  • Puebla Sánchez, Alvaro Germán
  • Ramirez Deantes, Diana
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: SAS'10 17th international conference on Static analysis
Fechas del Evento: 14/09/2010 - 16/09/2010
Lugar del Evento: Perpignan, Francia
Título del Libro: SAS'10 Proceedings of the 17th international conference on Static analysis
Fecha: 2010
ISBN: 978-3-642-15768-4
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 - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (290kB) | Vista Previa

Resumen

Static analysis which takes into account the value of data stored in the heap is typically considered complex and computationally intractable in practice. Thus, most static analyzers do not keep track of object fields (or fields for short), i.e., they are field-insensitive. In this paper, we propose locality conditions for soundly converting fields into local variables. This way, field-insensitive analysis over the transformed program can infer information on the original fields. Our notion of locality is context-sensitive and can be applied both to numeric and reference fields. We propose then a polyvariant transformation which actually converts object fields meeting the locality condition into variables and which is able to generate multiple versions of code when this leads to increasing the amount of fields which satisfy the locality conditions. We have implemented our analysis within a termination analyzer for Java bytecode.

Más información

ID de Registro: 9122
Identificador DC: http://oa.upm.es/9122/
Identificador OAI: oai:oa.upm.es:9122
Depositado por: Memoria Investigacion
Depositado el: 15 Nov 2011 11:45
Ultima Modificación: 20 Abr 2016 17:40
  • 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