International Business Machines Corporation

Microsoft Technology Licensing, LLC

Gururaj Saileshwar

Alper Buyuktosunoglu

Richard Harold Boivie

Tong Chen

Muntaquim Chowdhury

A method, system and apparatus for protecting a program from making out of bounds memory references, including determining whether an instruction makes out of bound references where the instruction that loads data from or stores data to a buffer refers to addresses that are outside the bounds of the buffer, and responsive to the determining that the instruction refers to addresses that are partially out of bounds, changing an execution of the load or the store including modifying the starting address specified in the instruction, a length of data specified in the instruction, or a value for an out of bounds reference to load or store data that is within the bounds of the buffer.

Safe execution of programs that make out-of-bounds references

Techniques facilitating hardware-based memory-error mitigation for heap-objects. In one example, a system can comprise a process that executes computer executable components stored in a non-transitory computer readable medium. The computer executable components comprise: an entry component; and a re-purpose component. The entry component can allocate an entry in a table to store bounds-information when an object is allocated in memory. The re-purpose component can re-purpose unused bits of an object address to store an index to the table entry.

Protecting against invalid memory references

Apparatus and methods are disclosed for processors that associate a taint-source operation with another operation dependent upon the taint-source operation, perform the taint-source operation thereby causing a side effect, and suppress the side effect of the taint-source operation until conditional state determining commitment of the taint-source operation is resolved. In some examples, the method can further include associating a speculation-source operation with the taint-source operation, storing taint data in taint-matrix memory associating the speculation-source operation, the taint-source operation, and/or the taint-dependent operation, and performing the suppressing of side effects based on the stored taint data.

Growing community of inventors

Atlanta, GA, United States of America

Gururaj Saileshwar