Field-Sensitive Value Analysis by Field-Insensitive Analysis

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

Description

Title: Field-Sensitive Value Analysis by Field-Insensitive Analysis
Author/s:
  • Albert Albiol, Elvira
  • Arenas Sánchez, Purificación
  • Genaim, Samir
  • Puebla Sánchez, Alvaro Germán
Item Type: Presentation at Congress or Conference (Article)
Event Title: 2nd World Congress on Formal Methods, FM '09
Event Dates: 02/11/2009 - 06/11/2009
Event Location: Eindhoven, Paises Bajos
Title of Book: FM 2009: Formal Methods. 2nd World Congress
Date: 2009
ISBN: 978-3-642-05088-6
Volume: 5850
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

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

Abstract

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

More information

Item ID: 5702
DC Identifier: http://oa.upm.es/5702/
OAI Identifier: oai:oa.upm.es:5702
Official URL: http://www.springerlink.com/content/n673175223m4873n/
Deposited by: Memoria Investigacion
Deposited on: 12 Jan 2011 09:57
Last Modified: 20 Apr 2016 14:26
  • 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