动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了38％的内存占用和指令执行时间,系统整体性能平均提升了6.8％.%Despite the demonstrated usefulness of dynamic taint tracking techniques in mobile privacy security,poor performance attained by prototypes is a big problem.A novel optimization methodology for dynamic taint tracking based on just-in-time compilation is presented.First,the taint propagation logic is separated from the program logic precisely to simplifying the complexity of the taint propagation analysis.Then,a taint propagation framework is proposed and the correctness of the taint propagation analysis is proved..Finally,redundant and inefficient taint propagation codes are transferred to efficient and equivalent codes by adopting the methods of eliminating,replacing and moving.Experimental results show that 38％ of memory usage and the time of execution of taint tracking instructions are saved for every single hot trace,and on average the performance of dynamic taint tracking system is improved 6.8％.
展开▼
