Method and apparatus for verifying invariant properties of data structures at run-time
First Claim
1. A computer-implemented method for verifying at runtime an invariant property of a data structure of a computer program, comprising:
- automatically generating a first code segment that verifies a runtime value of the data structure is consistent with the invariant property in response to an annotation of the data structure that defines the invariant property of the data structure;
comparing the runtime value of the data structure with the invariant property during execution of the program via execution of the first code segment; and
performing a programmed action if the runtime value is inconsistent with the invariant property.
2 Assignments
0 Petitions
Accused Products
Abstract
Method and apparatus for verifying at runtime an invariant property of a data structure. In various example embodiments, code that verifies whether a runtime value of the data structure is consistent with the invariant property is automatically generated in response to an annotation of the data structure in the source code. In executing the program, the runtime value of the data structure is compared to the invariant property in the automatically generated code. If the runtime property is inconsistent with the invariant property, the program branches to exception handler code.
-
Citations
15 Claims
-
1. A computer-implemented method for verifying at runtime an invariant property of a data structure of a computer program, comprising:
-
automatically generating a first code segment that verifies a runtime value of the data structure is consistent with the invariant property in response to an annotation of the data structure that defines the invariant property of the data structure;
comparing the runtime value of the data structure with the invariant property during execution of the program via execution of the first code segment; and
performing a programmed action if the runtime value is inconsistent with the invariant property. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14)
-
-
15. An apparatus for verifying at runtime an invariant property of a data structure of a computer program, comprising:
-
means for automatically generating a first code segment that verifies a runtime value of the data structure is consistent with the invariant property in response to an annotation of the data structure that defines the invariant property of the data structure;
means for comparing the runtime value of the data structure with the invariant property during execution of the program via execution of the first code segment; and
means for performing a programmed action if the runtime value is inconsistent with the invariant property.
-
Specification