Composite Constant Propagation: Application to Android Inter-Component Communication Analysis. - Octeau, Damien; Luchaup, Daniel; Dering, Matthew L.; Jha, Somesh; McDaniel, Patrick D. (2015)