We introduce a new approach, CONCH, for de-bloating contexts for all the object-sensitive pointer analysis algorithms developed for object-oriented languages, where the calling contexts of a method are distinguished by its receiver objects. Our key insight is to approximate a recently proposed set of two necessary conditions for an object to be context-sensitive, i.e., context-dependent (whose precise verification is undecidable) with a set of three linearly verifiable conditions (in terms of the number of statements in the program) that are almost always necessary for real-world object-oriented applications, based on three key observations regarding context-dependability for their objects used. To create a practical implementation, we introduce a new IFDS-based algorithm for reasoning about object reachability in a program. By debloating contexts for two representative object-sensitive pointer analyses applied to a set of 12 representative Java programs, CONCH can speed up the two baselines together substantially (3.1x on average with a maximum of 15.9x) and analyze 7 more programs scalably, but at only an negligible loss of precision (less than 0.1%).
Tue 16 NovDisplayed time zone: Hobart change
12:00 - 13:00 | LanguagesNIER track / Tool Demonstrations / Research Papers at Koala Chair(s): Jean-Guy Schneider Deakin University | ||
12:00 20mTalk | Context Debloating for Object-Sensitive Pointer Analysis Research Papers | ||
12:20 20mTalk | Dynamic Generation of Python Bindings for HPC Kernels Research Papers Steven Zhu The University of Texas at Austin, Nader Al Awar The University of Texas at Austin, Mattan Erez The University of Texas at Austin, Milos Gligoric University of Texas at Austin | ||
12:40 10mTalk | Empowering Web Applications with WebAssembly: Are We There Yet? NIER track Weihang Wang University at Buffalo, SUNY | ||
12:50 5mTalk | Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions Tool Demonstrations Yusuke Kimura Fujitsu Ltd., Takumi Akazaki Fujitsu Limited, Shinji Kikuchi Fujitsu Laboratories Ltd., Sonal Mahajan Fujitsu Research of America, Inc., Mukul Prasad Fujitsu Research of America | ||
12:55 5mTalk | GenTree: Inferring Configuration Interactions using Decision Trees Tool Demonstrations |