Optimized representation of data type information in program verification
First Claim
Patent Images
1. A method for program verification, the method comprising:
- receiving a program unit;
determining data types used by said program unit;
creating a first mapping for said data types; and
using said first mapping to represent type information in verification information for said program unit, said verification information comprising the data type of at least one entry on an operand stack or in a register file during simulated execution of said program unit.
2 Assignments
0 Petitions
Accused Products
Abstract
A method for program verification comprises receiving a program unit, determining data types used by the program unit, creating a first mapping for the data types and using the first mapping to represent type information in verification information for the program unit. The verification information comprises the data type of entries on an operand stack or in a register file during simulated execution of the program unit.
-
Citations
48 Claims
-
1. A method for program verification, the method comprising:
-
receiving a program unit;
determining data types used by said program unit;
creating a first mapping for said data types; and
using said first mapping to represent type information in verification information for said program unit, said verification information comprising the data type of at least one entry on an operand stack or in a register file during simulated execution of said program unit. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A method for program verification, the method comprising:
-
step for receiving a program unit;
step for determining data types used by said program unit;
step for creating a first mapping for said data types; and
step for using said first mapping to represent type information in verification information for said program unit, said verification information comprising the data type of at least one entry on an operand stack or in a register file during simulated execution of said program unit. - View Dependent Claims (10, 11, 12, 13, 14, 15, 16)
-
-
17. A program storage device readable by a machine, embodying a program of instructions executable by the machine to perform a method for program verification, the method comprising:
-
receiving a program unit;
determining data types used by said program unit;
creating a first mapping for said data types; and
using said first mapping to represent type information in verification information for said program unit, said verification information comprising the data type of at least one entry on an operand stack or in a register file during simulated execution of said program unit. - View Dependent Claims (18, 19, 20, 21, 22, 23, 24)
-
-
25. An apparatus for program verification, the apparatus comprising:
- means for receiving a program unit;
means for determining data types used by said program unit;
means for creating a first mapping for said data types; and
means for using said first mapping to represent type information in verification information for said program unit, said verification information comprising the data type of at least one entry on an operand stack or in a register file during simulated execution of said program unit. - View Dependent Claims (26, 27, 28, 29, 30, 31, 32)
- means for receiving a program unit;
-
33. An apparatus for communicating program verification, comprising:
-
a memory for storing a program comprising a plurality of program units; and
a processor configured to;
receive a program unit;
determine data types used by said program unit;
create a first mapping for said data types; and
use said first mapping to represent type information in verification information for said program unit, said verification information comprising the data type of at least one entry on an operand stack or in a register file during simulated execution of said program unit. - View Dependent Claims (34, 35, 36, 37, 38, 39, 40)
-
-
41. A memory for storing data for access by an application program being executed on a data processing system, comprising:
a data structure stored in said memory, said data structure including information used by said program to verify a program unit, said data structure comprising a type mapped representation of data types used by said program unit. - View Dependent Claims (42, 43, 44, 45, 46, 47, 48)
Specification