TriFlow: Triaging Android Applications using Speculative Information Flows
Scalable and precise taint analysis for Android