科研之友
微信
新浪微博
Facebook
分享链接
摘要
污点分析中的隐式信息流由于其通过控制流传播污点的特性导致许多基于数据流的污点分析技术无效或分析效率低。本文提出了一种简洁有效的基于重组粒度的隐式信息流污点传播能力判别方法。通过预定义重组链构建规则，并基于程序切片和控制依赖关系给出了隐式信息重组链构建算法，在重组链各端点的信息重组粒度计算的基础上，获得隐式信息流的重组粒度及重组比值，能判别其污点传播能力。此外，实验开发了一个包含15个隐式信息流代码段的隐式信息流测试集IIF-Bench，并用来验证了判别方法的有效性和良好独立性，使其易于作为扩展添加至其它静态污点分析方法中从而实现隐式信息流分析的能力。
- 单位
