Access right contradiction detection apparatus and analysis rule creation apparatus

摘要

Method signatures included in an input program are detected. An access right analyser (15) sequentially analyses the method signatures and obtains a run-time access right list based on a rule (15a). This rule (15a) specifies method signatures and the access rights which may possibly be included in the program so that the method signatures correspond to the access rights, respectively. A comparator (16) compares the run-time access right list with the design-time access right list in width (extent of access) based on another rule (16a). This rule (16a) specifies widths related to the access rights which may possibly be included in the program.