北京大学学报(自然科学版)

• 北京大学学报 •

基于roBDD的细颗粒度动态污点分析

王铁磊1,2,韦韬1,2,邹维1,2   

  1. 1. 北京大学互联网安全技术北京市重点实验室, 北京 100871;2. 北京大学计算机科学技术研究所, 北京 100871;
  • 收稿日期:2010-11-30 出版日期:2011-11-20 发布日期:2011-11-20

RoBDD-Based Fine-Grained Dynamic Taint Analysis

WANG Tielei1,2, WEI Tao1,2, ZOU Wei1,2   

  1. 1. Beijing Key Laboratory of Internet Security TechnologyPeking University, Beijing 100871; 2. Institute of Computer Science and Technology, Peking University, Beijing 100871;
  • Received:2010-11-30 Online:2011-11-20 Published:2011-11-20

摘要: 研究了细颗粒动态污点分析的瓶颈所在,提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污点分析的性能,并减低内存需求,为进一步扩大细颗粒度污点分析的应用提供了途径。

关键词: 动态污点分析, roBDD, 程序分析

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.

Key words: dynamic taint analysis, roBDD, program analysis

中图分类号: