[发明专利]一种隐式污点传播系统及其方案

权利要求书

1.一种隐式污点传播系统，其特征在于，包括：

控制流图生成装置，用于对输入的被测试应用程序进行处理生成该应用程序的控制流图；

立即后支配树生成装置，用于对输入的被测试应用程序的控制流图进行处理输出该被测试应用程序的立即后支配树；

程序执行监控装置，用于执行被测试应用程序，并动态监控该被测试应用程序的执行情况；

污点控制流定位装置，用于定位导致污点传播的控制流，所述污点控制流为有某个或某些操作数是污点的分支语句；

污点控制数据识别装置，用于识别受到污点控制流影响的数据，所述污点控制数据为污点控制流节点到其立即后支配节点之间的所有语句的目的数据；

污点标记装置，用于对污点控制数据打上污点标志。

2.根据权利要求1所述的隐式污点传播系统，其特征在于：所述程序执行监控装置能够获得被测试应用程序运行的当前指令、当前寄存器值、当前内存值、函数调用情况。

3.一种权利要求1或2所述的隐式污点传播方案，其特征在于，包括如下步骤：

（1）利用控制流图绘制软件获得被测试应用程序的控制流图；

（2）利用算法或函数库获得被测试应用程序的立即后支配树；

（3）利用程序执行监控装置将被测试程序运行起来，同时设置一个集合S为空集；

（4）获得被测试应用程序的当前语句；

（5）如果当前语句是污点控制流，则把当前语句的标号加入集合S，如果集合S不为空，将当前语句的目的数据标记为污点数据，如果当前语句是集合S中某个语句的直接后支配节点，则将该语句标号从S中删除，如果程序执行完毕，则转到下一步骤（6），否则继续执行程序，转到步骤（4）；

（6）结束。

4.根据权利要求3所述的隐式污点传播方案，其特征在于：所述控制流图绘制软件为IDA Pro。

5.根据权利要求3所述的隐式污点传播方案，其特征在于：所述函数库为boost graph library。

6.根据权利要求3所述的隐式污点传播方案，其特征在于：所述程序执行监控装置采用调试或插桩方法实现。

7.根据权利要求6所述的隐式污点传播方案，其特征在于：所述插桩工具为Pin。