Precise set sharing and nullity analysis for java-style program

Méndez-Lojo, Mario y Hermenegildo, Manuel V. (2007). Precise set sharing and nullity analysis for java-style program. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Precise set sharing and nullity analysis for java-style program
Autor/es:
  • Méndez-Lojo, Mario
  • Hermenegildo, Manuel V.
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Febrero 2007
Materias:
Palabras Clave Informales: Pair sharing, set sharing, context sensitivity, class analysis, compartir pares, uso compartido, sensibilidad contextual, análisis de clases.
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 (926kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14730
Identificador DC: http://oa.upm.es/14730/
Identificador OAI: oai:oa.upm.es:14730
URL Oficial: http://clip.dia.fi.upm.es/papers/oo_shnltau-tr.pdf
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 04 Abr 2013 07:38
Ultima Modificación: 21 Abr 2016 14: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