Precise Set Sharing Analysis for Java-Style Programs

Méndez-Lojo, Mario y Hermenegildo, Manuel V. (2008). Precise Set Sharing Analysis for Java-Style Programs. "Lecture Notes in Computer Science", v. 4905 ; pp. 172-187. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-78163-9_17.

Descripción

Título: Precise Set Sharing Analysis for Java-Style Programs
Autor/es:
  • Méndez-Lojo, Mario
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título de Revista/Publicación: Lecture Notes in Computer Science
Fecha: Enero 2008
Volumen: 4905
Materias:
Palabras Clave Informales: Java, set sharing analysis.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
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 (516kB) | Vista Previa

Resumen

Finding useful sharing information between instances in object- oriented programs has recently been the focus of much research. The applications of such static analysis are multiple: by knowing which variables definitely do not share in memory we can apply conventional compiler optimizations, find coarse-grained parallelism opportunities, or, more importantly, verify 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, including supporting multivariance, which allows separating different contexts. We propose a combined Set Sharing + Nullity + Classes domain which captures which instances do not share and which ones are definitively null, and which uses the classes to refine the static information when inheritance is present. The use of a set sharing abstraction allows a more precise representation of the existing sharings and is crucial in achieving precision during interprocedural analysis. Carrying the domains in a combined way facilitates the interaction among them in the presence of multivariance in the analysis. We show through examples and experimentally 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.

Más información

ID de Registro: 2906
Identificador DC: http://oa.upm.es/2906/
Identificador OAI: oai:oa.upm.es:2906
Identificador DOI: 10.1007/978-3-540-78163-9_17
URL Oficial: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0
Depositado por: Memoria Investigacion
Depositado el: 26 Abr 2010 08:22
Ultima Modificación: 20 Abr 2016 12:31
  • 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