Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 17:30 - 17:50 at Kangaroo - Software Analysis (2) Chair(s): Saba Alimadadi

Android platform provisions a number of sophisticated concurrency mechanisms for the development of apps. The concurrency mechanisms, while powerful, are quite difficult to properly master by mobile developers. In fact, prior studies have shown concurrency issues, such as event-race defects, to be prevalent among real-world Android apps. In this paper, we propose a flow-, context-, and thread-sensitive static analysis framework, called ER Catcher, for detection of event-race defects in Android apps. ER Catcher introduces a new type of summary function aimed at modeling the concurrent behavior of methods in both Android apps and libraries. In addition, it leverages a novel, statically constructed Vector Clock for rapid analysis of happens-before relations. Altogether, these design choices enable ER Catcher to not only detect event-race defects with a substantially higher degree of accuracy, but also in a fraction of time compared to the existing state-of-the-art technique.

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

17:10 - 18:10: Software Analysis (2) Research Papers / Industry Showcase at Kangaroo
Chair(s): Saba AlimadadiSimon Fraser University
17:10 - 17:30
Representing and Reasoning about Dynamic Code
Research Papers
Jesse BartelsUniversity of Arizona, Jon StephensUniversity of Texas at Austin, Saumya DebrayUniversity of Arizona
17:30 - 17:50
ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android
Research Papers
Navid SalehnamadiUniversity of California, Irvine, Abdulaziz AlshaybanUniversity of California, Irvine, Iftekhar AhmedUniversity of California at Irvine, USA, Sam MalekUniversity of California at Irvine, USA
17:50 - 18:10
Automatic Generation of IFTTT Mashup Infrastructures
Industry Showcase
Lei LiuFujitsu Laboratories of America, Inc., Mehdi BahramiFujitsu Laboratories of America, Inc., Wei-Peng ChenFujitsu Laboratories of America, Inc.