Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis