摘要 |
<P>PROBLEM TO BE SOLVED: To generate a program for protecting a memory space without placing heavy burden on a software developer. <P>SOLUTION: This program generation method comprises inputting a source program and a memory protection policy in which functions in the source program are classified by domains; generating information associating a global variable with domains using the global variable; dividing the domains using the global variable to high-order and low-order domains; adding, in an access control table corresponding to the high-order domains, an instruction for setting the access restriction to the global variable to reading/writing permission to the source program; and adding, in an access control table corresponding to the low-order domains, an instruction for setting access restriction to the global variable to reading permission. <P>COPYRIGHT: (C)2007,JPO&INPIT |