DETECTING UNINITIALIZED MEMORY REFERENCES

摘要

A pre-initialized value of contents of a memory location is identified. A load value of contents loaded from the memory location by execution of a first instruction that loads from the memory location is also identified. A comparison is made between the load value and the pre-initialized value. Based on the comparison, a determination is made that the load value and the pre-initialized value are the same. In response to this determination, it is indicated that the first instruction contains an uninitialized memory reference.

主权项

1. A system for detecting an uninitialized memory reference, the system comprising:
a memory; at least one processor circuit in communication with the memory, wherein the at least one processor circuit is configured to perform a method comprising: identifying a pre-initialized value of contents of a memory location; identifying a load value of contents loaded from the memory location by execution of a first instruction that loads from the memory location; comparing the load value to the pre-initialized value; determining, based on the comparing, that the load value and the pre-initialized value are the same; and indicating, in response to the determining, that the first instruction contains the uninitialized memory reference.