The access consistency checking apparatus specifies a branch block composed of a group of statements to switch and execute a plurality of branch processes based on a predetermined condition, and detects a variable to be written in the branch block (S 01). Detects the number of branch processes that can be switched within the branch block, detects the number of branch processes to write to the variable (S 04), writes the number of branch processes that can be switched in the branch block and the number of branch processes that can be switched in the branch block (S 06) whether or not the number of branch processes to be performed is identical. If it is determined that the number of branch processes that can be switched within the branch block does not match the number of branch processes to write to the variable, at least one of the variable and the branch block is output (D 07).
展开▼