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

来源：软件学报杂志2017年第8期北京时间：

作者：吴泽智,陈性元,杨智,杜学绘

单位：吴泽智，解放军信息工程大学 三院, 河南 郑州 450001;密码科学技术国家重点实验室(北京信息科学技术研究院), 北京 10009411,陈性元，解放军信息工程大学 三院, 河南 郑州 450001;密码科学技术国家重点实验室(北京信息科学技术研究院), 北京 10009402,杨智，解放军信息工程大学 三院, 河南 郑州 450001;河南省信息安全重点实验室(解放军信息工程大学), 河南 郑州 45000103,杜学绘，解放军信息工程大学 三院, 河南 郑州 450001;河南省信息安全重点实验室(解放军信息工程大学), 河南 郑州 45000104

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

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

基金资助：国家自然科学基金（61402437）；国家高技术研究发展计划（863）（2015AA016006，2012AA012704）