[发明专利]基于控制流图逻辑结构对比的编译器验证方法

权利要求书

1.一种基于控制流图逻辑结构对比的编译器验证方法，其特征在于包括以下步骤：

1)构造源代码的控制流图；

2)构造目标代码的控制流图；

3)使用同构图算法对以上两者的控制流图进行比对。

2.如权利要求1所述的基于控制流图逻辑结构对比的编译器验证方法，其特征在于：

在所述步骤1)中，首先对源代码进行词法分析和语法分析，然后根据源代码中语句的语法结构构造出程序的控制流图。

3.如权利要求1所述的基于控制流图逻辑结构对比的编译器验证方法，其特征在于：

在所述步骤2)中，根据目标代码中影响控制流图结构的指令，将目标代码划分为块，利用所述指令的语义构造其控制流图。

4.如权利要求1所述的基于控制流图逻辑结构对比的编译器验证方法，其特征在于：

在所述步骤3)中，从两者的控制流图的起始结点开始，按照广度优先遍历的算法对两者的控制流图同时进行遍历。