Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis
A measurement study of google play