[论文解读] I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

Li Li, Alexandre Bartel+7 more|TUbilio (Technical University of Darmstadt)|Apr 29, 2014

Advanced Malware Detection Techniques参考文献 27被引用 67

一句话总结

本论文提出 IccTA，一种静态污点分析工具，通过高精度建模 Android 的生命周期、回调方法以及基于 Intent 的组件间通信，检测 Android 应用中的跨组件和跨应用隐私泄漏。在 DroidBench 上实现 95.0% 的精确率和 82.6% 的召回率，并在 14 个真实应用中检测出 147 个实际存在的隐私泄漏，精确率为 88.4%。

ABSTRACT

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike all current approaches, our tool, called IccTA, propagates the context between the components, which improves the precision of the analysis. IccTA outperforms all other available tools by reaching a precision of 95.0% and a recall of 82.6% on DroidBench. Our approach detects 147 inter-component based privacy leaks in 14 applications in a set of 3000 real-world applications with a precision of 88.4%. With the help of ApkCombiner, our approach is able to detect inter-app based privacy leaks.

研究动机与目标

• 解决现有工具因组件通信建模有限而常遗漏跨组件和跨应用隐私泄漏检测的挑战。
• 克服先前静态污点分析工具在准确建模 Android 生命周期回调和基于 Intent 的组件间通信（ICC）方面的局限性。
• 通过代码插桩建模动态 Intent 解析和生命周期管理引起的控制流中断，提升隐私泄漏检测的精确率。
• 实现对敏感源（如联系人、位置）到外部接收端（如网络调用）的跨组件或跨应用复杂数据流的检测，包括组件内数据流。
• 提供一个通用的跨组件数据流分析框架，可扩展用于检测除隐私泄漏外的其他安全漏洞。

提出的方法

• 对原始 Android 应用代码进行插桩，以建模 Android 的生命周期回调（如 onCreate、onResume）和动态解析的 Intent 流。
• 通过在编译时解析 Intent Filter 和 Intent 对象，构建考虑组件边界和基于 Intent 通信的精确控制流图。
• 通过方法调用、参数和返回值传播污点，实现跨组件的上下文敏感污点分析，包括涉及 Android OS 方法的传播。
• 使用一个虚拟主方法建模所有 Android OS 方法（原生方法除外），以保持污点传播的准确性，避免保守假设。
• 结合静态污点追踪与组件级分析，检测从敏感源（如联系人、位置）到外部接收端（如网络调用）的数据流。
• 利用 ApkCombiner 将多个 APK 作为一个整体进行分析，实现跨应用隐私泄漏的检测。

实验结果

研究问题

• RQ1 通过建模生命周期回调和基于 Intent 的通信，静态污点分析能否有效检测 Android 应用中的跨组件隐私泄漏？
• RQ2 与非上下文敏感或流不敏感的方法相比，跨组件的上下文敏感污点传播在精确率方面有何提升？
• RQ3 建模 Android 的动态 Intent 解析和组件生命周期在多大程度上提升了对实际隐私泄漏的检测能力？
• RQ4 在标准基准测试中，IccTA 与 FlowDroid、AndroidLeaks 和 SCanDroid 等现有工具相比，在精确率和召回率方面表现如何？
• RQ5 所提出的方法能否检测跨应用隐私泄漏？在真实应用中实际效果如何？

主要发现

• IccTA 在 DroidBench 基准测试中实现 95.0% 的精确率和 82.6% 的召回率，优于现有工具在检测跨组件隐私泄漏方面的表现。
• 该工具在 3,000 个应用中选取的 14 个真实 Android 应用中检测出 147 个跨组件隐私泄漏，精确率为 88.4%。
• 通过建模生命周期回调和 Intent 解析，IccTA 避免了传统静态污点分析中常见的过度近似，从而减少了误报。
• 插桩后的控制流图实现了跨组件边界的精确污点传播，即使在通过隐式 Intent 调用组件时也保持准确。
• 与 SCanDroid 和 SEFA 等基于匹配的工具相比，IccTA 的方法更精确，因为它采用代码插桩而非保守启发式方法。
• 与 ApkCombiner 的集成使 IccTA 能够检测跨应用隐私泄漏，显著扩展了其在单个应用分析之外的应用范围。