| 摘要 |
This flag-access-problem review device detects binary flags in a computer program that uses said flags to selectively execute one of two or more different processes (S01, S02); identifies statements that access said flags (D05), the actions that said statements perform with respect to the flags (D06), and the execution order (D08) of said statements (S04, S05, S07); uses the actions that said statements perform with respect to the flags (D06) and the execution order (D08) of said statements to determine whether or not there is a possibility that the flags cannot be used to selectively execute one of two or more different processes (S08 through S11); and outputs the results of said determination (S12). |
