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

发布时间：2019-05-18 00:00

【摘要】：动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了38%的内存占用和指令执行时间,系统整体性能平均提升了6.8%.
[Abstract]:Dynamic stain tracking technology shows its powerful function in mobile privacy protection, but there is a problem of low system performance. A dynamic stain propagation optimization method based on real-time compilation is proposed. Firstly, the program logic is abstracted accurately into the stain propagation logic, which simplifies the complexity of the stain propagation analysis. Then, a stain propagation framework is proposed, and the correctness and effectiveness of the stain propagation analysis under this framework are proved. Finally, the redundant and inefficient stain propagation code is transformed into efficient equivalent stain propagation code by eliminating, replacing and moving. The experimental results show that after optimization, the stain propagation code of a single hot path saves 38% memory occupation and instruction execution time, and the overall performance of the system is improved by 6.8% on average.
【作者单位】： 解放军信息工程大学三院;密码科学技术国家重点实验室(北京信息科学技术研究院);河南省信息安全重点实验室(解放军信息工程大学);
【基金】：国家自然科学基金(61402437) 国家高技术研究发展计划(863)(2015AA016006,2012AA012704)~~
【分类号】：TP309
，

本文编号：2479506