Verifying Assignment Of Initial Values To Instance Fields Of Class Instances

One or more non-transitory computer-readable media storing instructions that, when executed by one or more hardware processors, cause performance of operations comprising:

• encountering, while executing a first bytecode segment in a runtime environment, a first static field-access instruction to access a first static field of a first class;
• responsive to encountering the first static field-access instruction, further executing the first bytecode segment, wherein further executing the first bytecode segment comprises:
• determining that the first static field has yet to be accessed;
• responsive to determining that the first static field has yet to be accessed:
• determining that a first initial value has been assigned to the first static field;
• responsive to determining that the first initial value has been assigned to the first static field:
• accessing the first static field, wherein accessing the first static field is contingent upon determining that the first initial value has been assigned to the first static field.

A system comprising:

• one or more hardware processors;
• one or more non-transitory computer-readable media;
• and
• program instructions stored on the one or more non-transitory computer-readable media that, when executed by the one or more hardware processors, cause the system to perform operations comprising:
• encountering, while executing a first bytecode segment in a runtime environment, a first static field-access instruction to access a first static field of a first class;
• responsive to encountering the first static field-access instruction, further executing the first bytecode segment, wherein further executing the first bytecode segment comprises:
• determining that the first static field has yet to be accessed;
• responsive to determining that the first static field has yet to be accessed:
• determining that a first initial value has been assigned to the first static field;
• responsive to determining that the first initial value has been assigned to the first static field:
• accessing the first static field, wherein accessing the first static field is contingent upon determining that the first initial value has been assigned to the first static field.