摘要 |
<p><P>PROBLEM TO BE SOLVED: To efficiently perform address check during a function call from a non-reliable domain and during function return, taking into consideration the execution limits between domains, while suppressing temporal and spatial overheads. <P>SOLUTION: A software inspection apparatus includes an arithmetic processing section 12 which inserts, into a location prior to calling a function of a first layer, check codes for determining whether a call destination of a function for a second layer from a first layer lies within a code segment regarding software, and whether call permission for the function is obtained, on the basis of a call point ID predetermined bytes prior to a call destination address of the function, and decides a call point ID which includes a bit string indicating whether the function can be called from each layer to the second layer, and inserts the call point ID into predetermined bytes, prior to the start of the function of the second layer. <P>COPYRIGHT: (C)2011,JPO&INPIT</p> |