Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis
A Study of Android Application Security