[发明专利]一种基于状态分区的静态缺陷检测求精方法

权利要求书

1.一种基于状态分区的静态缺陷检测求精方法，其特征在于，包括具体以下步骤：

S1：将待检测的缺陷模式的属性状态机的状态集合置于待测函数控制流入口；

S2：程序通过路径由前置位置执行到目标位置；

S3：属性状态机的状态沿程序路径进行传递以及变化，在所述目标位置处到达预设状态；

S4：取控制流当前节点，判断是否为控制流最后节点；

S5：如果不为控制流最后节点，则根据当前节点信息更新属性状态条件以及属性状态分区集合信息；

程序通过路径执行到目标位置，属性状态机的状态沿程序路径进行传递和变化，在所述目标位置处到达预设状态，将路径在目标位置处的路径条件记录在预设状态上，为所述属性状态条件；

所述属性状态分区集合信息包含属性状态分区信息；程序通过路径由前置位置执行到目标位置，属性状态机的状态沿程序路径进行传递和变化，在所述目标位置处到达预设状态，将路径在前置位置处的路径条件记录在预设状态上，为所述属性状态分区信息；

其中，路径在预设位置处的路径条件为程序路径在所述预设位置处限定的变量取值范围集合；

所述步骤S5进一步还包括：

通过所述属性状态条件判断不可达路径，并删除所述属性状态分区中不可达属性状态分区信息；

若所述属性状态条件包含属性状态分区信息，则保存该属性状态分区信息，若所述属性状态条件与所述状态分区信息不存在包含关系，则删除属性状态分区信息。

2.如权利要求1所述的方法，其特征在于，所述置于待测函数控制流入口的集合为从控制流头节点依次进行状态迭代的缺陷模式属性状态机集合，其中，每个状态机的当前状态都关联当前控制流节点的所有变量取值信息。

3.如权利要求1所述的方法，其特征在于，所述步骤S5进一步包括：

将相同状态的所述属性状态条件进行合并，所述属性状态分区不变。

4.如权利要求1所述的方法，其特征在于，所述步骤S5进一步包括：若存在$error，则判定为缺陷状态迁移，其中所述$error用于表示缺陷模式状态机的状态集合中的错误状态。

5.如权利要求1所述的方法，其特征在于，还包括，删除重复的所述属性状态分区信息。