-
题名基于即时编译的动态污点跟踪优化
被引量:1
- 1
-
-
作者
吴泽智
陈性元
杨智
杜学绘
-
机构
解放军信息工程大学三院
密码科学技术国家重点实验室(北京信息科学技术研究院)
河南省信息安全重点实验室(解放军信息工程大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2017年第8期2064-2079,共16页
-
基金
国家自然科学基金(61402437)
国家高技术研究发展计划(863)(2015AA016006
2012AA012704)~~
-
文摘
动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了38%的内存占用和指令执行时间,系统整体性能平均提升了6.8%.
-
关键词
安卓
隐私安全
动态污点跟踪
即时编译器
污点传播优化
-
Keywords
Android
privacy security
dynamic taint tracking
just-in-time compiler
taint propagation optimization
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-