University of Toronto

Huawei Technologies Canada Co., Ltd.

Shengjie Xu

Yifei Wang

David Lie

Wei Huang

David Juen Fung Lie

Methods and devices for analyzing and updating intermediate representations containing pointers includes compiling one or more source files into intermediate representations (IRs) having pointers, analyzing the IRs, producing transformed IRs comprising updated pointers, and producing object code from the transformed IRs. The device may include one or more non-transitory computer-readable storage devices having computer-executable instructions, when executed, cause a processing structure to perform the actions described relating to pointers. The analysis and updating of pointers may relate to types of bounds to enhance security of the systems in question by preventing erroneous references to memory space by pointers.

Methods, apparatuses, non-transitory computer-readable storage devices, and systems using fine-grained whole-program pointer layout transforms

Methods and devices for hardware-supported schemes for efficient metadata retrieval are described. The schemes may use hardware to efficiently enforce type safety and speed up memory bound checks without imposing undue memory overhead. Multiple such schemes may be supported by a device, permitting the selection of an optimal scheme based on a given memory allocation request. The schemes may be compatible with legacy code and applicable to a wide range of data objects and system constraints. Compilation, instrumentation, and linking of code to effect such schemes is also described.

Growing community of inventors

Toronto, Canada

Shengjie Xu