摘要 |
PROBLEM TO BE SOLVED: To perform a boundary inspection of even a program for calculating the address of access determination by a complex procedure, other than offset addition. SOLUTION: A storage area managing section 130 imparts an identification number to each storage area and manages the same. A slave performance section 140 changes an arrangement address of the storage area in a master performance section 120 to a virtual address value, obtained by adding up the identification number and the address value of the storage area, and reproduces a state where a program to be inspected is performed. With respect to a memory access instruction, a memory access inspection section 150 subtracts the address value of the master performance section 120 from the virtual address value which is the memory access destination of the slave performance section 140 and determines whether the address of the access destination of the master performance section 120 is included within the range of the storage area, to which an identification number equal to the obtained value is imparted, and thereby unauthorized memory access is detected. COPYRIGHT: (C)2011,JPO&INPIT
|