Scalable and precise taint analysis for Android

  title={Scalable and precise taint analysis for Android},
  author={Wei Huang and Yao Dong and Ana Milanova and Julian Dolby},
We propose a type-based taint analysis for Android. Concretely, we present DFlow, a context-sensitive information flow type system, and DroidInfer, the corresponding type inference analysis for detecting privacy leaks in Android apps. We present novel techniques for error reporting based on CFL-reachability, as well as novel techniques for handling of Android-specific features, including libraries, multiple entry points and callbacks, and inter-component communication. Empirical results show… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS
24 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 24 extracted citations

Similar Papers

Loading similar papers…