Thu 29 Oct 2015 11:15 - 11:37 at Grand Station 1 - 5. Mobility Chair(s): Lukasz Ziarek

We present a complete end-to-end dynamic analysis system for finding data races in mobile Android applications. The capabilities of our system significantly exceed the state of the art: our system can analyze real-world application interactions in minutes rather than hours, finds errors inherently beyond the reach of existing approaches, while still (critically) reporting very few false positives. Our system is based on three key concepts: (i) a thorough happens-before model of Android-specific concurrency, (ii) a scalable analysis algorithm for efficiently building and querying the happens-before graph, and (iii) an effective set of domain-specific filters that reduce the number of reported data races by several orders of magnitude. We evaluated the usability and performance of our system on 354 real-world Android applications (e.g., Facebook). Our system analyzes a minute of end-user interaction with the application in about 24 seconds, while current approaches take hours to complete. Inspecting the results for 8 large open-source applications revealed 15 harmful bugs of diverse kinds. Some of the bugs we reported were confirmed and fixed by developers.

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
5. MobilityOOPSLA at Grand Station 1
Chair(s): Lukasz Ziarek State University of New York (SUNY) Buffalo
10:30
22m
Talk
Interactively Verifying Absence of Explicit Information Flows in Android Apps
OOPSLA
Osbert Bastani Stanford University, Saswat Anand Stanford University, Alex Aiken Stanford University
DOI Media Attached
10:52
22m
Talk
ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
OOPSLA
Lucas Brutschy ETH Zurich, Switzerland, Pietro Ferrara IBM Research, USA, Omer Tripp IBM Research, USA, Marco Pistoia IBM Research, USA
Pre-print Media Attached
11:15
22m
Talk
Scalable Race Detection for Android ApplicationsOOPSLA Artifact
OOPSLA
Pavol Bielik ETH Zurich, Switzerland, Veselin Raychev ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
DOI Media Attached
11:37
22m
Talk
Versatile yet Lightweight Record-and-Replay for Android
OOPSLA
Yongjian Hu University of California at Riverside, USA, Tanzirul Azim University of California at Riverside, USA, Iulian Neamtiu University of California at Riverside, USA
DOI Media Attached