Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (926kB) | Preview |
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.
Title: | Precise set sharing and nullity analysis for java-style program |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (926kB) | Preview |
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.
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 |