Processing math: 20%
Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis | IEEE Journals & Magazine | IEEE Xplore

Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis

CodeAvailable

Abstract:

Object-sensitive pointer analysis (denoted kobj under k-limiting) for an object-oriented program can be accelerated if context-sensitivity can be selectively applied to...Show More

Abstract:

Object-sensitive pointer analysis (denoted kobj under k-limiting) for an object-oriented program can be accelerated if context-sensitivity can be selectively applied to only some precision-critical variables/objects in a program. Existing pre-analyses for making such selections, which are performed as whole-program analyses to a program, are developed based on two broad approaches. One approach preserves the precision of object-sensitive pointer analysis but achieves limited speedups by reasoning about all the possible value flows in the program conservatively, while the other approach achieves greater speedups but sacrifices precision (often unduly) by examining only some but not all the value flows in the program heuristically. In this paper, we introduce a new pre-analysis approach, Turner^{\mathcal{m}} (where \mathcal {m} stands for modularity), that represents a sweet spot between these two existing ones, as it is designed to enable kobj to run significantly faster than the former approach and achieve significantly better precision than the latter approach. Turner^{\mathcal{m}} is simple, lightweight yet effective due to two novel aspects in its design. First, we exploit a key observation that some precision-uncritical objects in the program can be approximated based on the object-containment relationship pre-established (from Andersen's analysis). In practice, this approximation introduces only a small degree of imprecision into kobj. Second, leveraging this initial approximation, we apply a novel object reachability analysis to the program by pre-analyzing its methods according to a reverse topological order of its call graph. When pre-analyzing each method, we make use of a simple DFA (Deterministic Finite Automaton) to reason about object reachability intra-procedurally from its entry to its exit along all the possible value flows established by its statements to identify its precision-critical variables/objects. In practice, this new modular object...
Published in: IEEE Transactions on Software Engineering ( Volume: 49, Issue: 2, 01 February 2023)
Page(s): 719 - 742
Date of Publication: 24 March 2022

ISSN Information:

Funding Agency:


Contact IEEE to Subscribe

References

References is not available for this document.