发明授权
US06772410B1 Program verifying system, program verifying method, and storage medium for storing software of program verifying method
失效
程序验证系统，程序验证方法和用于存储程序验证方法软件的存储介质
- 专利标题： Program verifying system, program verifying method, and storage medium for storing software of program verifying method
- 专利标题（中）： 程序验证系统，程序验证方法和用于存储程序验证方法软件的存储介质
-
申请号： US09482096申请日： 2000-01-13
-
公开(公告)号： US06772410B1公开(公告)日： 2004-08-03
- 发明人: Chihiro Komatsu , Satoru Fujita
- 申请人： Chihiro Komatsu , Satoru Fujita
- 优先权： JP11-007919 19990114
- 主分类号： G06F944
- IPC分类号： G06F944
摘要：
A storage area managing system using a system for virtually executing a program code before really executing the program code, the storage area managing system, that comprises virtual executing means for verifying only a data type restriction of the program code before really executing the program code, data valid range deciding means for deciding the final use position of each data and storing it during the process of said virtual executing means, and storage area unallocating means for unallocating a storage area for data that exceeds the data valid range corresponding to the data validity range information designated by said data valid range deciding means during the real execution of the program code.
信息查询
