Memorias de investigación
Artículos en revistas:
Precise Set Sharing Analysis for Java-Style Programs
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Finding useful sharing information between instances in object-oriented programs has recently been the focus of much research. The applications of such static analysis Applications 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.
Internacional
Si
JCR del ISI
No
Título de la revista
Verification, Model Checking, and Abstract Interpretation
ISSN
03029743
Factor de impacto JCR
0
Información de impacto
Volumen
2008
DOI
10.1007/978-3-540-78163-9_17
Número de revista
4905
Desde la página
172
Hasta la página
187
Mes
FEBRERO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial