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

oopsla2015
10:30 - 12:00: OOPSLA - 5. Mobility at Grand Station 1
Chair(s): Lukasz ZiarekState University of New York (SUNY) Buffalo
oopsla2015144611100000010:30 - 10:52
Talk
Osbert BastaniStanford University, Saswat AnandStanford University, Alex AikenStanford University
DOI Media Attached
oopsla2015144611235000010:52 - 11:15
Talk
Lucas BrutschyETH Zurich, Switzerland, Pietro FerraraIBM Research, USA, Omer TrippIBM Research, USA, Marco PistoiaIBM Research, USA
Pre-print Media Attached
oopsla2015144611370000011:15 - 11:37
Talk
Pavol BielikETH Zurich, Switzerland, Veselin RaychevETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
DOI Media Attached
oopsla2015144611505000011:37 - 12:00
Talk
Yongjian HuUniversity of California at Riverside, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuUniversity of California at Riverside, USA
DOI Media Attached