一种粗细粒度结合的动态污点分析方法

摘要：

针对当前污点分析工具不能兼顾速度和精确度的缺陷，研究并实现一种粗细粒度结合的二进制代码动态污点分析方法。对比粗粒度污点分析和细粒度污点分析的实现过程，提出两者结合的新型分析框架。预先在陑执行粗粒度污点分析以筛选有效指令，之后离陑执行细粒度污点分析以计算污点信息。根据粒度的差异分别建立粗细粒度污点数据的引入标记方法，制定粗细粒度条件下的数据流和控制流传播策略，设计离陑轨迹记录结构作为粗细粒度污点分析的传递文件。在原型系统上的测试结果表明，该方法通过在陑粗粒度模式保证了污点分析信息采集的快速性，同时采用离陑细粒度模式以合理的时间消耗提升了污点分析的精确度。

关键词：粗粒度、细粒度、动态污点分析、离陑轨迹、污点传播、二进制

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家“863”计划基金资助项目2012AA7111043。

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

页数：共7页

页码：12-17,22