Program verifying system, program verifying method, and storage medium for storing software of program verifying method

   
   

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.

Ein handhabendes System des Speicherbereichs mit einem System für einen Programmcode praktisch durchführen, vor den Programmcode wirklich durchführen, dem handhabenden System des Speicherbereichs, das virtuelle Durchführung Mittel für das Überprüfen nur einer Datenart Beschränkung Programmcode enthält, vor den Programmcode, gültige Strecke der Daten wirklich durchführen entscheidene Mittel für das Entscheiden der abschließenden Gebrauchposition jeder Daten und die Speicherung sie während des Prozesses der besagten virtuellen Durchführung Mittel, und dem Speicherbereich, der Mittel für das Aberkennen eines Speicherbereichs für Daten aberkennt, die übersteigt, die gültige Strecke der Daten, die den Datengültigkeit Strecke Informationen entspricht, kennzeichnete durch besagte gültige Strecke der Daten entscheidene Mittel während der realen Durchführung des Programmcodes.

 
Web www.patentalert.com

< Video frame rendering engine

< Method and system for achieving high availability in a networked computer system

> Data processing device equipped with a thread switching circuit

> Deputization in a distributed computing system

~ 00122