标志访问缺陷检查装置、标志访问缺陷检查方法以及标志访问缺陷检查程序

摘要

标志访问缺陷检查装置从利用仅能设定两个值的标志而切换并执行大于或等于两个的不同的处理的计算机程序中，检测出标志(S01、S02)，分别确定对标志进行访问的语句(D05)、语句中的针对标志的处理内容(D06)、以及语句的执行顺序(D08)(S04、S05、S07)。基于针对标志的处理内容(D06)以及语句的执行顺序(D08)，判断无法利用标志而切换并执行大于或等于两个的不同的处理的可能性的有无(S08～S11)，输出其判断结果(S12)。

主权项

一种标志访问缺陷检查装置，其对利用仅能设定两个值的标志而切换并执行大于或等于两个的不同的处理的计算机程序进行检查，该标志访问缺陷检查装置的特征在于，具备：标志检测部，其从成为检查对象的所述计算机程序中，检测出所述标志；访问位置确定部，其在所述计算机程序中，确定对由所述标志检测部检测出的所述标志进行访问的语句；处理内容分类部，其对由所述访问位置确定部确定出的所述语句中的针对所述标志的处理内容进行分类；访问顺序确定部，其确定由所述访问位置确定部确定出的所述语句的执行顺序；缺陷可能性判断部，其基于由所述处理内容分类部分类的针对所述标志的处理内容、以及由所述访问顺序确定部确定的所述语句的执行顺序，判断无法利用所述标志而切换并执行大于或等于两个的不同的处理的可能性的有无；以及检查结果输出部，其输出所述缺陷可能性判断部的判断结果。