主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第8期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
吴泽智,陈性元,杨智,杜学绘.基于即时编译的动态污点跟踪优化.软件学报,2017,28(8):2064-2079
基于即时编译的动态污点跟踪优化
Dynamic Taint Tracking Optimization on Just-in-Time Compilation
投稿时间:2015-05-07  修订日期:2015-12-22
DOI:10.13328/j.cnki.jos.005126
中文关键词:  安卓  隐私安全  动态污点跟踪  即时编译器  污点传播优化
英文关键词:Android  privacy security  dynamic taint tracking  just-in-time compiler  taint propagation optimization
基金项目:国家自然科学基金(61402437);国家高技术研究发展计划(863)(2015AA016006,2012AA012704)
作者单位E-mail
吴泽智 解放军信息工程大学 三院, 河南 郑州 450001
密码科学技术国家重点实验室(北京信息科学技术研究院), 北京 100094 
 
陈性元 解放军信息工程大学 三院, 河南 郑州 450001
密码科学技术国家重点实验室(北京信息科学技术研究院), 北京 100094 
chxy302@vip.sina.com 
杨智 解放军信息工程大学 三院, 河南 郑州 450001
河南省信息安全重点实验室(解放军信息工程大学), 河南 郑州 450001 
 
杜学绘 解放军信息工程大学 三院, 河南 郑州 450001
河南省信息安全重点实验室(解放军信息工程大学), 河南 郑州 450001 
 
摘要点击次数: 587
全文下载次数: 806
中文摘要:
      动态污点跟踪技术展现了在移动隐私保护方面的强大功能,但存在系统性能较低问题.提出了一种基于即时编译的动态污点传播优化方法.首先,将程序逻辑精确抽象为污点传播逻辑,简化污点传播分析复杂性;然后,提出了一个污点传播框架,并证明了在该框架下污点传播分析的正确性和有效性;最后,采用消除、替换和移动等方法将冗余低效的污点传播代码转化为高效等价的污点传播代码.实验结果表明,经过优化后,单条热路径的污点传播代码节省了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%.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利