发明名称 |
路径敏感检测方法和装置 |
摘要 |
本发明实施例提供一种路径敏感检测方法和装置,本发明路径敏感检测方法,包括:根据值流错误类型为变量设置初始的与错误相关的属性,沿着定值引用链传播初始的与错误相关的属性,在潜在错误语句处识别变量的与错误相关的属性,根据在潜在错误语句处识别的变量的与错误相关的属性,确定潜在错误语句为可能错误语句,根据可能错误语句获得路径敏感检测的语句输入集,根据路径敏感检测的语句输入集进行路径敏感检测。从而解决现有技术中检测值流错误存在的可扩展性并不理想,无法有效应用于大规模的应用程序的问题,通过减少路径敏感检测的语句输入集降低了检测开销,能够有效应用于大规模的应用程序。 |
申请公布号 |
CN104866417A |
申请公布日期 |
2015.08.26 |
申请号 |
CN201410064881.3 |
申请日期 |
2014.02.25 |
申请人 |
华为技术有限公司;中国科学院计算技术研究所 |
发明人 |
衷璐洁;霍玮;李丰;张兆庆 |
分类号 |
G06F11/36(2006.01)I |
主分类号 |
G06F11/36(2006.01)I |
代理机构 |
北京同立钧成知识产权代理有限公司 11205 |
代理人 |
刘芳 |
主权项 |
一种路径敏感检测方法,其特征在于,包括:根据值流错误类型为变量设置初始的与错误相关的属性;沿着定值引用链传播所述初始的与错误相关的属性,所述定值引用链为所有可能流经所述定值点的引用点所组成的集合;在潜在错误语句处识别所述变量的与错误相关的属性;根据所述在潜在错误语句处识别的所述变量的与错误相关的属性,确定所述潜在错误语句为可能错误语句,所述可能错误语句表示所述变量的定值语句经由部分路径到达会导致错误的引用语句;根据所述可能错误语句获得路径敏感检测的语句输入集;根据所述路径敏感检测的语句输入集进行路径敏感检测。 |
地址 |
518129 广东省深圳市龙岗区坂田华为总部办公楼 |