一种复合条件分支结构的识别方法

摘要

本发明涉及一种识别复合条件分支结构的方法，其步骤包括对可执行文件进行反汇编，得到该可执行文件的中间代码；从上述中间代码中提取控制流信息，得到控制流图；遍历控制流图，得到级联分支结构：将级联分支结构对应的控制流图识别为复合条件分支结构、在可执行文件的控制流信息基础上，本发明可以精确、自动化识别复合条件分支结构，准确结构化程序控制流图，比现有的识别方法要更加准确，漏报和误报的情形有明显改善，实现效率高。可用于反编译、软件测试等设备中。

主权项

1.一种复合条件分支结构的识别方法，其步骤包括：1)对可执行文件进行反汇编，得到该可执行文件的中间代码；2)从上述中间代码中提取控制流信息，得到控制流图；3)遍历控制流图，识别满足下述条件的级联分支结构；3-1)具有唯一的入口节点，其中该节点为该级联分支结构中所有其他节点的必经节点；3-2)具有两出口节点，该级联分支结构中的其他节点均存在到两出口节点的路径；3-3)除出口节点外，其他节点均为分支节点；3-4)该级联分支结构中没有循环路径；4)将包含级联分支结构的控制流图结构识别为复合条件分支结构。