专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06772410B1 Program verifying system, program verifying method, and storage medium for storing software of program verifying method 失效
标题翻译：程序验证系统，程序验证方法和用于存储程序验证方法软件的存储介质
公开(公告)号：US06772410B1
公开(公告)日：2004-08-03
申请号：US09482096
申请日：2000-01-13
申请人： Chihiro Komatsu , Satoru Fujita
发明人： Chihiro Komatsu , Satoru Fujita
IPC分类号： G06F944
CPC分类号： G06F9/44589
摘要： 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.
摘要翻译：一种存储区域管理系统，其使用用于在真正执行程序代码之前虚拟执行程序代码的系统，所述存储区域管理系统包括虚拟执行装置，用于在真正执行程序代码之前仅验证程序代码的数据类型限制，数据有效范围确定装置，用于在所述虚拟执行装置的处理期间确定每个数据的最终使用位置并存储数据;以及存储区域未分配装置，用于对与数据有效范围相对应的超过数据有效范围的数据的存储区域进行未分配在程序代码的实际执行期间由所述数据有效范围确定装置指定的信息。

IPRDB

热门服务

关于我们

友情链接

联系方式