Write a Blog >>
CC 2020
Sat 22 - Wed 26 February 2020 San Diego, California, United States
Sun 23 Feb 2020 08:30 - 08:52 - Session 4 Optimizations Chair(s): Michel Steuwer

Context-sensitive heap analyses, established to offer a much enhanced precision over context-insensitive analyses, do not scale well for large programs, specially for OO languages such as Java. It is known that the choice of the underlying context abstraction and the input-program characteristics play an important role in deciding whether the analysis scales while resulting in good enough precision. The problem becomes quite intriguing as two of the most popular categories of context abstractions (call-site- and object-sensitive) lead to theoretically incomparable precision. In this paper, we address this problem by first doing a detailed comparative study (in terms of precision and efficiency) of the existing approaches, both in the presence and absence of heap-cloning. In addition, we propose novel context abstractions that mix the advantages of LSRV contexts (a highly scalable abstraction with precision matching that of the call-site based context abstraction) and object-sensitivity, to lead to a new sweet-spot in the arena.

We first enhance the precision of LSRV contexts using heap cloning. Then, motivated by the scalability of the LSRV approaches, we propose the idea of mixing various context abstractions, and add the advantages of kk-object-sensitive analyses to LSRV contexts, in an efficient manner. The resultant abstraction, which we call lsrvkobjHlsrvkobjH, also leads to a novel connection between the two broad variants of otherwise incomparable context-sensitive analyses. We implement our approaches to perform control-flow analysis of Java programs, and compare them with corresponding kk-object-sensitive analyses and LSRV-contexts based analyses. The results show that the newer proposals not only enhance the precision of both LSRV contexts and object-sensitive analyses, but also scale well to large programs

Sun 23 Feb
Times are displayed in time zone: Pacific Time (US & Canada) change

08:30 - 10:00: Session 4 OptimizationsMain Conference
Chair(s): Michel SteuwerUniversity of Glasgow
08:30 - 08:52
Research paper
Main Conference
Manas ThakurIIT Mandi, V Krishna NandivadaIIT Madras
08:52 - 09:15
Research paper
Main Conference
Son Tuan VuSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Karine HeydemannSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Albert CohenGoogle, Arnaud de GrandmaisonArm
09:15 - 09:37
Research paper
Main Conference
Pratik FegadeCarnegie Mellon University, Oracle Labs, Christian WimmerOracle Labs
09:37 - 10:00
Research paper
Main Conference
Rodrigo C. O. RochaUniversity of Edinburgh, Vasileios PorpodasIntel Corporation, Pavlos PetoumenosUniversity of Edinburgh, Luís GóesPUC Minas, Zheng WangUniversity of Leeds, Murray ColeUniversity of Edinburgh, Hugh LeatherUniversity of Edinburgh