基于即时编译的动态污点跟踪优化

• 作者: 吴泽智 杜学绘 杨智 陈性元
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安卓 隐私安全 动态污点跟踪 即时编译器 污点传播优化
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2064-2079
• 页数: 16页
• 分类号: TP311
• 字数: 12507字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005126

摘要

动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了38％的内存占用和指令执行时间,系统整体性能平均提升了6.8％.