Dynamic program slicing is useful for a variety of tasks, from testing to debugging to security. Prior slicing approaches have targeted traditional desktop/server platforms, rather than mobile platforms such as Android. Slicing mobile, event-based systems is challenging due to their asynchronous callback construction and the IPC (interprocess communication)- heavy, sensor-driven, timing-sensitive nature of the platform. To address these problems, we introduce AndroidSlicer, the first slicing approach for Android. AndroidSlicer combines a novel asynchronous slicing approach for modeling data and control dependences in the presence of callbacks with lightweight and precise instrumentation; this allows slicing for apps running on actual phones, and without requiring the app’s source code. Our slicer is capable of handling a wide array of inputs that Android supports without adding any noticeable overhead. Experiments on 60 apps from Google Play show that AndroidSlicer is effective (reducing the number of instructions to be examined to 0.3% of executed instructions) and efficient (app instrumentation and post-processing combined takes 31 seconds); all while imposing a runtime overhead of just 4%. We present three applications of AndroidSlicer that are particularly relevant in the mobile domain: (1) finding and tracking input parts responsible for an error/crash, (2) fault localization, i.e., finding the instructions responsible for an error/crash, and (3) reducing the regression test suite. Experiments with these applications on an additional set of 18 popular apps indicate that AndroidSlicer is effective for Android testing and debugging.
Fri 31 MayDisplayed time zone: Eastern Time (US & Canada) change
16:00 - 17:20 | Program TransformationsNew Ideas and Emerging Results / Technical Track / Papers at Van-Horne Chair(s): Cindy Rubio-González University of California, Davis | ||
16:00 20mTalk | Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic TransformationsTechnical Track Technical Track Xie Wang Nanjing University, Huaijin Wang Nanjing University, Zhendong Su ETH Zurich, Enyi Tang Nanjing University, Xin Chen Nanjing University, Weijun Shen Nanjing University, Zhenyu Chen Nanjing University, Linzhang Wang , Xianpei Zhang Nanjing University, Xuandong Li Nanjing University | ||
16:20 20mTalk | Type Migration in Ultra-Large-Scale CodebasesTechnical Track Technical Track Ameya Ketkar Oregon State University, USA, Ali Mesbah University of British Columbia, Davood Mazinanian University of British Columbia, Danny Dig School of EECS at Oregon State University, Eddie Aftandilian Google Pre-print | ||
16:40 20mTalk | Dynamic Slicing for AndroidTechnical Track Technical Track Tanzirul Azim Microsoft, USA, Arash Alavi University of California, Riverside, Iulian Neamtiu New Jersey Institute of Technology, Rajiv Gupta UC Riverside | ||
17:00 10mTalk | Conditional Compilation is Dead, Long Live Conditional Compilation!NIER New Ideas and Emerging Results Pre-print | ||
17:10 10mTalk | Discussion Period Papers |