| 基于roBDD的细颗粒度动态污点分析 |
| |
| 引用本文： | 王铁磊,韦韬,邹维.基于roBDD的细颗粒度动态污点分析[J].北京大学学报(自然科学版),2011,47(6):1003-1008. |
| |
| 作者姓名： | 王铁磊 韦韬 邹维 |
| |
| 作者单位： | 1. 北京大学互联网安全技术北京市重点实验室, 北京 100871;2. 北京大学计算机科学技术研究所, 北京 100871; |
| |
| 基金项目： | 国家自然科学基金(61003216)资助 |
| |
| 摘 要： | 研究了细颗粒动态污点分析的瓶颈所在，提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污点分析的性能，并减低内存需求，为进一步扩大细颗粒度污点分析的应用提供了途径。
|
| 关 键 词： | 动态污点分析 roBDD 程序分析 |
| 收稿时间： | 2010-11-30 |
RoBDD-Based Fine-Grained Dynamic Taint Analysis |
| |
| WANG Tielei,WEI Tao,ZOU Wei.RoBDD-Based Fine-Grained Dynamic Taint Analysis[J].Acta Scientiarum Naturalium Universitatis Pekinensis,2011,47(6):1003-1008. |
| |
| Authors: | WANG Tielei WEI Tao ZOU Wei |
| |
| Institution: | 1. Beijing Key Laboratory of Internet Security TechnologyPeking University, Beijing 100871; 2. Institute of Computer Science and Technology, Peking University, Beijing 100871; |
| |
| Abstract: | The bottleneck of fine-grained taint analysis is figured out. A roBDD-based fine-grained off-linetaint analysis approach is proposed. The experiment results show that the proposed approach can significantly improve the performance of fine-grained taint analysis, and reduce the memory usage. |
| |
| Keywords: | dynamic taint analysis roBDD program analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《北京大学学报(自然科学版)》下载免费的PDF全文 |
