Methods, Systems, And Computer Program Products For Providing Program Runtime Data Validation
First Claim
1. A method for providing program runtime data validation, comprising:
- associating a memory location of an addressable entity with a runtime constraint for the addressable entity, wherein the addressable entity is included in an executable program component generated from source code written in a processor-independent programming language;
monitoring the memory location during runtime; and
determining whether an access to the memory location by a machine code instruction of an executable program component violates the runtime constraint using validation information associated with the memory location, wherein the validation information is not included in the executable program component and the determining is not performed by the executable program component.
2 Assignments
0 Petitions
Accused Products
Abstract
A method and system are described for providing program runtime data validation. A memory location of an addressable entity is associated with a runtime constraint for the addressable entity. The addressable entity is included in an executable program component generated from source code written in a processor-independent programming language. The memory location is monitored during runtime and it is determined whether access to the memory location by a machine code instruction of an executable program component violates the runtime constraint using validation information associated with the memory location. The validation information is not included in the executable program component and the determining is not performed by the executable program component.
-
Citations
29 Claims
-
1. A method for providing program runtime data validation, comprising:
-
associating a memory location of an addressable entity with a runtime constraint for the addressable entity, wherein the addressable entity is included in an executable program component generated from source code written in a processor-independent programming language; monitoring the memory location during runtime; and determining whether an access to the memory location by a machine code instruction of an executable program component violates the runtime constraint using validation information associated with the memory location, wherein the validation information is not included in the executable program component and the determining is not performed by the executable program component. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12)
-
-
13. A system for providing program runtime data validation, comprising:
-
means for associating a memory location of an addressable entity with a runtime constraint for the addressable entity, wherein the addressable entity is included in an executable program component generated from source code written in a processor-independent programming language; means for monitoring the memory location during runtime; and means for determining whether an access to the memory location by a machine code instruction of an executable program component violates the runtime constraint using validation information associated with the memory location, wherein the validation information is not included in the executable program component and the determining is not performed by the executable program component.
-
-
14. A system for providing program runtime data validation, comprising:
-
a loader component configured for associating a memory location of an addressable entity with a runtime constraint for the addressable entity, wherein the addressable entity is included in an executable program component generated from source code written in a processor-independent programming language; a memory monitor component configured for monitoring the memory location during runtime; and a constraint validator component configured for determining whether an access to the memory location by a machine code instruction of an executable program component violates the runtime constraint using validation information associated with the memory location, wherein the validation information is not included in the executable program component and the determining is not performed by the executable program component. - View Dependent Claims (15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28)
-
-
29. A computer readable medium including a computer program, executable by a machine, for providing program runtime data validation, the computer program comprising executable instructions for:
-
associating a memory location of an addressable entity with a runtime constraint for the addressable entity, wherein the addressable entity is included in an executable program component generated from source code written in a processor-independent programming language; monitoring the memory location during runtime; and determining whether an access to the memory location by a machine code instruction of an executable program component violates the runtime constraint using validation information associated with the memory location, wherein the validation information is not included in the executable program component and the determining is not performed by the executable program component.
-
Specification