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

Damien Octeau, Somesh Jha, Matthew L. Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon

Browse the full POPL paper archive.