基于污染变量关系图的Android应用污点分析工具

摘要：

污点分析技术是检测Android智能手机隐私数据泄露的有效方法,目前主流的Android应用污点分析工具主要关注分析的精度,常常忽略运行效率的提升.在分析一些复杂应用时,过大的开销可能造成超时或程序崩溃等问题,影响工具的广泛使用.为了减少分析时间、提高效率,提出一种基于污染变量关系图的污点分析方法.该方法定义了污染变量关系图用于描述程序中污染变量及其关系,摒弃了传统数据流分析框架,将污点分析和别名分析进行结合,从程序中抽象出污染变量关系图和潜在污染流,并在控制流图上对潜在污染流进行验证以提高精度.详细描述了基于该方法所实现的工具FastDroid的架构、模块及算法细节.实验使用了3个不同的测试集,分别为DroidBench-2.0,MalGenome以及Google Play上随机下载的1517个应用.实验结果表明:FastDroid在DroidBench-2.0测试集上的查准率和查全率分别达到93.3％和85.8％,比目前主流工具FlowDroid更高,并且在3个测试集上所用的分析时间更少且更稳定.

关键词：静态分析、污点分析、软件安全、隐私保护、Android应用

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：科技部重点研发计划;国家自然科学基金;国家自然科学基金;陕西省科技创新团队项目

在线出版日期：2021-07-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：1701-1716