[发明专利]路径敏感检测方法和装置

权利要求书

1.一种路径敏感检测方法，其特征在于，包括：

根据值流错误类型为变量设置初始的与错误相关的属性；

沿着定值引用链传播所述初始的与错误相关的属性，所述定值引用链为所有可能流经定值点的引用点所组成的集合；

在潜在错误语句处识别所述变量的与错误相关的属性；

根据所述在潜在错误语句处识别的所述变量的与错误相关的属性，确定所述潜在错误语句为可能错误语句，所述可能错误语句表示所述变量的定值语句经由部分路径到达会导致错误的引用语句；

根据所述可能错误语句获得路径敏感检测的语句输入集；

根据所述路径敏感检测的语句输入集进行路径敏感检测；

所述根据所述在潜在错误语句处识别的所述变量的与错误相关的属性，确定所述潜在错误语句为可能错误语句，包括：

根据所述在潜在错误语句处识别的所述变量的与错误相关的属性，确定所述变量的与错误相关的属性是否为不安全的属性；

若所述变量的与错误相关的属性为不安全的属性，则通过检查当前的控制节点确定所述当前的控制节点中是否存在检查语句，所述控制节点为所述潜在错误语句相对于所述变量的定值语句的控制流图上的控制节点；

若存在检查语句，则查找是否存在特殊控制流；

若不存在特殊控制流，则将下一个控制节点作为当前控制节点，并执行所述通过检查当前的控制节点确定所述当前的控制节点中是否存在检查语句的步骤；

在检查过的所有控制节点中都不存在检查语句和特殊控制流的情况下，确定所述潜在错误语句为可能错误语句。

2.根据权利要求1所述的方法，其特征在于，还包括：

若不存在检查语句，则将下一个控制节点作为当前控制节点，并执行所述通过检查当前的控制节点确定所述当前的控制节点中是否存在检查语句的步骤。

3.根据权利要求1或2所述的方法，其特征在于，还包括：

若存在特殊控制流，则确定所述潜在错误语句为一定不错语句。

4.根据权利要求1或2所述的方法，其特征在于，所述根据所述可能错误语句获得路径敏感检测的语句输入集，包括：

对所述可能错误语句进行程序切片，以获得与所述可能错误语句相关的语句集合，并将所述与所述可能错误语句相关的语句集合作为路径敏感检测的语句输入集。

5.根据权利要求4所述的方法，其特征在于，所述对所述可能错误语句进行程序切片，以获得与可能错误语句相关的语句集合，包括：

对所述可能错误语句进行后向切片，以获得语句集合S_BT；

对所述变量的定值语句进行前向切片，以获得语句集合S_FS；

计算所述S_BT与所述S_FS的交集S_TS，并对所述变量的定值语句进行后向切片，以获得对所述变量的定值语句进行后向切片的结果；

计算获得的对所述变量的定值语句进行后向切片的结果与所述S_TS的并集，并将所述对所述变量的定值语句进行后向切片的结果与所述S_TS的并集作为与所述可能错误语句相关的语句集合，并将所述与所述可能错误语句相关的语句集合作为路径敏感检测的语句输入集。