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

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