Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis
ALETHEIA: Improving the Usability of Static Security Analysis