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

北京大学学报（自然科学版）

• 北京大学学报 •

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

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

1. 北京大学互联网安全技术北京市重点实验室, 北京 100871;2. 北京大学计算机科学技术研究所, 北京 100871;

收稿日期:2010-11-30 出版日期:2011-11-20 发布日期:2011-11-20

RoBDD-Based Fine-Grained Dynamic Taint Analysis

WANG Tielei^1,2, WEI Tao^1,2, ZOU Wei^1,2

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

摘要/Abstract

摘要： 研究了细颗粒动态污点分析的瓶颈所在，提出一种基于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

中图分类号: