Tue 14 Jun 2016 14:20 - 14:40 at San Miguel East - Session III Chair(s): Eric Bodden

Android software presents exciting new challenges for the static analysis community. However, static analyses for Android are typ- ically unsound. This is due to the lack of specification of the An- droid framework, the continuous evolution of framework features and behavior, and the absence of soundness arguments and stud- ies by program analysis researchers. Our goal is to investigate one important aspect of this problem: the static modeling of con- trol/data flow due to interactions of the user with the application’s GUI. We compare the solutions of three existing static analyses— FlowDroid, IccTA, and GATOR—with the actual run-time behav- ior. Specifically, we observe the run-time sequences of callbacks and their parameters, and match them against the static abstractions provided by these analyses. This study provides new insights into the unsoundness of existing analysis techniques. We conclude with open questions and action items for program analysis researchers working in this increasingly important area.

Tue 14 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

13:30 - 15:00: SOAP - Session III at San Miguel East
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
SOAP-2016-papers13:30 - 14:20
Matt NoonanGrammaTech, Inc
SOAP-2016-papers14:20 - 14:40
Yan Wang, Hailong ZhangOhio State University, USA, Atanas RountevOhio State University
SOAP-2016-papers14:40 - 15:00
andres NotzliStanford University, Fraser BrownStanford University