[发明专利]用于漏洞发掘的动态符号执行可视化方法

摘要

用于漏洞发掘的动态符号执行可视化方法，本发明涉及符号执行可视化技术领域，解决现有技术在漏洞发掘过程中符号执行不能够动态呈现，难于克服代码覆盖瓶颈导致的遍历效率低等技术问题。本发明主要包括启动漏洞挖掘工具和符号执行可视化工具；将符号执行可视化工具置于等待调用状态并执行漏洞挖掘工具至分支点；由漏洞挖掘工具调用符号执行可视化工具的符号执行树绘制模块构建出分支节点，再由漏洞挖掘工具发送分支信息至分支节点；利用符号执行可视化工具的数据统计模块更新当前所有分支节点的总体统计数据；在总体统计数据中，根据调用数据和分支信息，由符号执行树绘制模块创建下一次分支节点并设置其位置。本发明用于符合执行可视化。

主权项

1.用于漏洞发掘的动态符号执行可视化方法,其特征在于，包括如下步骤，步骤1、启动漏洞挖掘工具和符号执行可视化工具；步骤2、将符号执行可视化工具置于等待调用状态并执行漏洞挖掘工具至分支节点；步骤3、由漏洞挖掘工具调用符号执行可视化工具的符号执行树绘制模块构建出分支节点，再由漏洞挖掘工具发送分支信息至分支节点；步骤4、利用符号执行可视化工具的数据统计模块更新当前所有分支节点的总体统计数据；步骤5、符号执行可视化工具继续等待至得到新的分支信息时，紧接着上一个分支节点后，符号执行树绘制模块在图形化界面创建下一个分支节点并设置其位置，重复进行此步骤直到此轮符号执行结束；所述的步骤5，包括如下步骤，步骤5.1、在绘制分支节点时，判断当前分支节点的调用状态是否为第一次调用；步骤5.2.1、如果调用状态为第一次调用，则直接由符号执行树绘制模块构建出新的分支节点，并将新的分支节点续接在根节点下方；步骤5.2.2、如果调用状态不是第一次调用，则由符号执行树绘制模块构建出新的分支节点，并将新的分支节点续接到上一次分支节点真假取值成立的位置。