摘要 |
PROBLEM TO BE SOLVED: To certainly detect a defect part inside a program not rightly set with a protection section even if the program is a program wherein execution order of an instruction is not uniquely determined. SOLUTION: This inspection device has: a program control flow analysis part 11 finding a control flow showing execution order of each statement in the program PR of an inspection target; a protection state analysis part 12 analyzing a protection state about all the statements on the basis of the found control flow; and a defect part detection part 13 detecting a part having an ambiguous protection state from a found analysis result of the protection state of each statement, and outputting it as the defect part. COPYRIGHT: (C)2007,JPO&INPIT
|