2010 | OriginalPaper | Buchkapitel
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
verfasst von : Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana Vanessa Ramírez Deantes
Erschienen in: Static Analysis
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.