Precision-Guided Context Sensitivity for Pointer Analysis

Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

57 Citationer (Scopus)
249 Downloads (Pure)

Abstract

Context sensitivity is an essential technique for ensuring high precision in Java pointer analyses. It has been observed that applying context sensitivity partially, only on a select subset of the methods, can improve the balance between analysis precision and speed. However, existing techniques are based on heuristics that do not provide much insight into what characterizes this method subset. In this work, we present a more principled approach for identifying precision-critical methods, based on general patterns of value flows that explain where most of the imprecision arises in context-insensitive pointer analysis. Accordingly, we provide an efficient algorithm to recognize these flow patterns in a given program and exploit them to yield good tradeoffs between analysis precision and speed. Our experimental results on standard benchmark and real-world programs show that a pointer analysis that applies context sensitivity partially, only on the identified precision-critical methods, preserves effectively all (98.8%) of the precision of a highly-precise conventional context-sensitive pointer analysis (2-object-sensitive with a context-sensitive heap), with a substantial speedup (on average 3.4X, and up to 9.2X).

OriginalsprogEngelsk
Artikelnummer141
TidsskriftProceedings of the ACM on Programming Languages
Vol/bind2
NummerOOPSLA
Sider (fra-til)141:1-141:29
Antal sider29
ISSN2475-1421
DOI
StatusUdgivet - 24 okt. 2018
BegivenhedThe ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity - Boston, USA
Varighed: 4 nov. 20189 nov. 2018
Konferencens nummer: 2018
https://2018.splashcon.org/home

Konference

KonferenceThe ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
Nummer2018
Land/OmrådeUSA
ByBoston
Periode04/11/201809/11/2018
Internetadresse

Fingeraftryk

Dyk ned i forskningsemnerne om 'Precision-Guided Context Sensitivity for Pointer Analysis'. Sammen danner de et unikt fingeraftryk.

Citationsformater