Microsoft Technology Licensing, LLC

Joseph Norman Bialek

Mehmet Iyigun

Yevgeniy Bak

Kenneth Dean Johnson

Roy Williams

Pedro Miguel Sequeira De Justo Teixeira

Matthew John Parkinson

YongKang Zhu

Russell Charles Hadley

Russell Bivens Keldorph

Gabriel Thomas Kodjo Dos Reis

Xiang Fan

Pranav Kant

Generally discussed herein are devices, systems, and methods for software memory tagging that provides buffer overflow protection. A method can include responsive to a memory write operation to write data to a heap of a memory, identifying a first tag value associated with a first address of the memory write operation in the bit map, comparing, for each address after the first address affected by the memory write operation, respective tag values in a bit map of the memory to the identified first tag value, and halting execution of the application if any of the respective tag values do not match the first tag value.

Software memory tagging for heap overflow protection

Dynamically overriding a function based on a capability set. A computer system reads a portion of an executable image file. The portion includes a first memory address corresponding to a first callee function implementation. The first memory address was inserted into the portion by a compiler toolchain. Based on extensible metadata included in the executable image file, and based on a capability set that is specific to the computer system, the computer system determines a second memory address corresponding to a second callee function implementation. Before execution of the portion, the computer system modifies the portion to replace the first memory address with the second memory address.

Dynamically overriding a function based on a capability set

Growing community of inventors

Seattle, WA, United States of America

Joseph Norman Bialek