University of Toronto

Huawei Technologies Canada Co., Ltd.

David Juen Fung Lie

Yifei Wang

Shengjie Xu

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.

Growing community of inventors

Toronto, Canada

David Juen Fung Lie