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 and Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. In: "SAS'10 17th international conference on Static analysis", 14/09/2010 - 16/09/2010, Perpignan, Francia. ISBN 978-3-642-15768-4.

Description

Title: From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
Author/s:
  • Albert Albiol, Elvira
  • Arenas Sánchez, Purificación
  • Genaim, Samir
  • Puebla Sánchez, Alvaro Germán
  • Ramirez Deantes, Diana
Item Type: Presentation at Congress or Conference (Article)
Event Title: SAS'10 17th international conference on Static analysis
Event Dates: 14/09/2010 - 16/09/2010
Event Location: Perpignan, Francia
Title of Book: SAS'10 Proceedings of the 17th international conference on Static analysis
Date: 2010
ISBN: 978-3-642-15768-4
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of INVE_MEM_2010_84665.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (290kB) | Preview

Abstract

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.

More information

Item ID: 9122
DC Identifier: https://oa.upm.es/9122/
OAI Identifier: oai:oa.upm.es:9122
Deposited by: Memoria Investigacion
Deposited on: 15 Nov 2011 11:45
Last Modified: 20 Apr 2016 17:40
  • 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