ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Tue 17 Jul 2018 10:00 - 10:20 at Zurich II - Mobile Chair(s): Andreas Zeller

Numerous static analysis techniques have recently been proposed for identifying information flows in mobile applications. These techniques are compared to each other, usually on a set of syntactic benchmarks. Yet, configurations used for such comparisons are rarely described. Our experience also shows that tools are often compared under different setup, rendering the comparisons irreproducible and largely inaccurate. In this paper, we provide a large, controlled, and independent comparison of the three most prominent static analysis tools: FLOWDROID combined with ICCTA, AMANDROID, and DROIDSAFE. We evaluate all tools under the same configuration parameters and on the same set of benchmark applications. We compare the results of our analysis to the results reported in previous studies, identify main reasons for inaccuracy in existing tools, and provide suggestions for future research.

Tue 17 Jul

issta-2018-Technical-Papers
09:00 - 10:30: ISSTA Technical Papers - Mobile at Zurich II
Chair(s): Andreas ZellerSaarland University
issta-2018-Technical-Papers09:00 - 09:20
Talk
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
issta-2018-Technical-Papers09:20 - 09:40
Talk
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
issta-2018-Technical-Papers09:40 - 10:00
Talk
Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
issta-2018-Technical-Papers10:00 - 10:20
Talk
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
issta-2018-Technical-Papers10:20 - 10:30