Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (290kB) | Preview |
Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. In: "SAS'10 17th international conference on Static analysis", 14/09/2010 - 16/09/2010, Perpignan, Francia. ISBN 978-3-642-15768-4.
Title: | From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis |
---|---|
Author/s: |
|
Item Type: | Presentation at Congress or Conference (Article) |
Event Title: | SAS'10 17th international conference on Static analysis |
Event Dates: | 14/09/2010 - 16/09/2010 |
Event Location: | Perpignan, Francia |
Title of Book: | SAS'10 Proceedings of the 17th international conference on Static analysis |
Date: | 2010 |
ISBN: | 978-3-642-15768-4 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Lenguajes y Sistemas Informáticos e Ingeniería del Software |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (290kB) | Preview |
Static analysis which takes into account the value of data stored in the heap is typically considered complex and computationally intractable in practice. Thus, most static analyzers do not keep track of object fields (or fields for short), i.e., they are field-insensitive. In this paper, we propose locality conditions for soundly converting fields into local variables. This way, field-insensitive analysis over the transformed program can infer information on the original fields. Our notion of locality is context-sensitive and can be applied both to numeric and reference fields. We propose then a polyvariant transformation which actually converts object fields meeting the locality condition into variables and which is able to generate multiple versions of code when this leads to increasing the amount of fields which satisfy the locality conditions. We have implemented our analysis within a termination analyzer for Java bytecode.
Item ID: | 9122 |
---|---|
DC Identifier: | https://oa.upm.es/9122/ |
OAI Identifier: | oai:oa.upm.es:9122 |
Deposited by: | Memoria Investigacion |
Deposited on: | 15 Nov 2011 11:45 |
Last Modified: | 20 Apr 2016 17:40 |