Thu 8 Nov 2018 14:37 - 15:00 at Studio 2 - Static Analysis Chair(s): Karim Ali

Object sensitivity analysis is a well-known form of context-sensitive points-to analysis. This analysis is parameterized by a bound on the names of symbolic objects associated with each allocated site. In this paper, we propose a novel approach based on object sensitivity analysis that takes as input a set of user queries, and tries to answer them using an initial round of inexpensive object sensitivity analysis that uses a low object-name length bound at all allocation sites. For the queries that are answered unsatisfactorily, the approach then pin points ``bad'' points-to facts, which are the ones that are responsible for the imprecision. It then employs a form of program slicing to identify allocation sites that are potentially causing these bad points-to facts to be generated. The approach then runs object sensitivity analysis once again, this time using longer names for just these allocation sites, with the objective of resolving the imprecision in this round. We describe our approach formally, prove its completeness, and describe a Datalog-based implementation of it on top of the Petablox framework. Our evaluation of our approach on a set of large Java benchmarks reveals that our approach is more precise than the baseline object sensitivity approach, and more precise on most large benchmarks than a recently proposed approach that uses SAT solvers to identify allocation sites to refine.

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00
Static AnalysisOOPSLA at Studio 2
Chair(s): Karim Ali University of Alberta
13:30
22m
Talk
Incrementalizing Lattice-Based Program Analyses in Datalog
OOPSLA
Tamás Szabó itemis / TU Delft, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian Erdweg TU Delft, Markus Völter independent / itemis, Germany
13:52
22m
Talk
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
OOPSLA
Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, Hakjoo Oh Korea University
14:15
22m
Talk
Precision-Guided Context Sensitivity for Pointer Analysis
OOPSLA
Yue Li Aarhus University, Denmark, Tian Tan Aarhus University, Denmark, Anders Møller Aarhus University, Yannis Smaragdakis University of Athens
14:37
22m
Talk
Refinement in object-sensitivity points-to analysis via slicing
OOPSLA
Girish Maskeri Rama Infosys Limited, Raghavan Komondoor Indian Institute of Science, Bangalore, Himanshu Sharma Indian Institute of Science, Bangalore