Exclusive-control inspection device and method

摘要

This exclusive-control review device identifies execution orders and execution paths for statements in a computer program under review (S02), identifies lock segments on the basis of said execution orders and execution paths (S03), extracts a timeout duration for each lock segment (S04), computes the number of clocks needed to execute the lock segments in each execution path (S05, S06), computes the maximum number of clocks needed for the lock segments (S07), and outputs same (S11).