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

摘要：

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

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

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页码：1003-1008