基于roBDD的细颗粒度动态污点分析(英文)  

RoBDD-Based Fine-Grained Dynamic Taint Analysis

作　　者：王铁磊[1,2] 韦韬[1,2] 邹维[1,2] 

机构地区：[1]北京大学互联网安全技术北京市重点实验室,北京100871 [2]北京大学计算机科学技术研究所,北京100871

出　　处：《北京大学学报（自然科学版）》2011年第6期1003-1008,共6页Acta Scientiarum Naturalium Universitatis Pekinensis

基　　金：国家自然科学基金(61003216)资助

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

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

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]