CLAPP: characterizing loops in Android applications. - Fratantonio, Yanick; Machiry, Aravind; Bianchi, Antonio; Kruegel, Christopher; Vigna, Giovanni (2015)