2010 | OriginalPaper | Chapter
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
Authors : Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana Vanessa Ramírez Deantes
Published in: Static Analysis
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.