软件学报

作者：张捷，田聪，段振华

单位：张捷，西安电子科技大学 计算机科学与技术学院, 陕西 西安 71007111,田聪，西安电子科技大学 计算机科学与技术学院, 陕西 西安 71007102,段振华，西安电子科技大学 计算机科学与技术学院, 陕西 西安 71007103

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

基金：科技部重点研发计划（2018AAA0103202）；国家自然科学基金（61732013，61751207）；陕西省科技创新团队（2019TD-001）

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

来源：2021年第6期

《软件学报》期刊编辑部

查看软件学报杂志2021年第6期