Precise set sharing and nullity analysis for java-style program

Méndez-Lojo, Mario and Hermenegildo, Manuel V. (2007). Precise set sharing and nullity analysis for java-style program. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Precise set sharing and nullity analysis for java-style program
Author/s:
  • Méndez-Lojo, Mario
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: February 2007
Subjects:
Freetext Keywords: Pair sharing, set sharing, context sensitivity, class analysis, compartir pares, uso compartido, sensibilidad contextual, análisis de clases.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

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

Abstract

Finding useful sharing information between instances in object- oriented programs has been recently the focus of much research. The applications of such static analysis are multiple: by knowing which variables share in memory we can apply conventional compiler optimizations, find coarse-grained parallelism opportunities, or, more importantly,erify certain correctness aspects of programs even in the absence of annotations In this paper we introduce a framework for deriving precise sharing information based on abstract interpretation for a Java-like language. Our analysis achieves precision in various ways. The analysis is multivariant, which allows separating different contexts. We propose a combined Set Sharing + Nullity + Classes domain which captures which instances share and which ones do not or are definitively null, and which uses the classes to refine the static information when inheritance is present. Carrying the domains in a combined way facilitates the interaction among the domains in the presence of mutivariance in the analysis. We show that both the set sharing part of the domain as well as the combined domain provide more accurate information than previous work based on pair sharing domains, at reasonable cost.

More information

Item ID: 14730
DC Identifier: https://oa.upm.es/14730/
OAI Identifier: oai:oa.upm.es:14730
Official URL: http://clip.dia.fi.upm.es/papers/oo_shnltau-tr.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 04 Apr 2013 07:38
Last Modified: 27 Feb 2023 10:04
  • 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