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

摘要：

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

关键词：安卓、隐私安全、动态污点跟踪、即时编译器、污点传播优化

所属期刊栏目：28

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

资助基金：国家自然科学基金61402437;国家高技术研究发展计划8632015AA016006,2012AA012704National Natural Science Foundation of China61402437;National High-Tech R&D Program of China 8632015AA016006,2012AA012704

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

页数：共16页

页码：2064-2079