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

摘要

本发明实施例提供一种路径敏感检测方法和装置，本发明路径敏感检测方法，包括根据值流错误类型为变量设置初始的与错误相关的属性，沿着定值引用链传播初始的与错误相关的属性，在潜在错误语句处识别变量的与错误相关的属性，根据在潜在错误语句处识别的变量的与错误相关的属性，确定潜在错误语句为可能错误语句，根据可能错误语句获得路径敏感检测的语句输入集，根据路径敏感检测的语句输入集进行路径敏感检测。从而解决现有技术中检测值流错误存在的可扩展性并不理想，无法有效应用于大规模的应用程序的问题，通过减少路径敏感检测的语句输入集降低了检测开销，能够有效应用于大规模的应用程序。

主权项

一种路径敏感检测方法，其特征在于，包括：根据值流错误类型为变量设置初始的与错误相关的属性；沿着定值引用链传播所述初始的与错误相关的属性，所述定值引用链为所有可能流经定值点的引用点所组成的集合；在潜在错误语句处识别所述变量的与错误相关的属性；根据所述在潜在错误语句处识别的所述变量的与错误相关的属性，确定所述潜在错误语句为可能错误语句，所述可能错误语句表示所述变量的定值语句经由部分路径到达会导致错误的引用语句；根据所述可能错误语句获得路径敏感检测的语句输入集；根据所述路径敏感检测的语句输入集进行路径敏感检测；所述根据所述在潜在错误语句处识别的所述变量的与错误相关的属性，确定所述潜在错误语句为可能错误语句，包括：根据所述在潜在错误语句处识别的所述变量的与错误相关的属性，确定所述变量的与错误相关的属性是否为不安全的属性；若所述变量的与错误相关的属性为不安全的属性，则通过检查当前的控制节点确定所述当前的控制节点中是否存在检查语句，所述控制节点为所述潜在错误语句相对于所述变量的定值语句的控制流图上的控制节点；若存在检查语句，则查找是否存在特殊控制流；若不存在特殊控制流，则将下一个控制节点作为当前控制节点，并执行所述通过检查当前的控制节点确定所述当前的控制节点中是否存在检查语句的步骤；在检查过的所有控制节点中都不存在检查语句和特殊控制流的情况下，确定所述潜在错误语句为可能错误语句。