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

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

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

dynamic taint analysisroBDDprogram analysis

王铁磊、韦韬、邹维

展开 >

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

动态污点分析 roBDD 程序分析

国家自然科学基金

61003216

2011

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

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

CSTPCDCSCD北大核心
影响因子:0.785
ISSN:0479-8023
年,卷(期):2011.47(6)
  • 4
  • 18