Lin Xu

US Patent:

20110307875, Dec 15, 2011

Filed:

Jun 10, 2010

Appl. No.:

12/813404

Inventors:

Lin Xu - Seattle WA, US
Weiping Hu - Sammamish WA, US
Yongkang Zhu - Bothell WA, US

Assignee:

MICROSOFT CORPORATION - Redmond WA

International Classification:

G06F 9/45

US Classification:

717151

Abstract:

Embodiments are directed to tracking variable location information in optimized code and efficiently collecting and storing reaching definition information. A computer system receives a portion of source code at a compiler, where the compiler is configured to compile and optimize the source code for execution. The computer system tags selected variables in the source code with a tag, where the tag is configured to provide location information for the variable. The computer system optimizes the received portion of source code including changing at least one of the tagged variables. The computer system also tracks the tagged variables as the variables are changed by the compiler during code optimization and persists the variable location information, so that the persisted variable location information is available to other compiler components.

US Patent:

20130219369, Aug 22, 2013

Filed:

Feb 16, 2012

Appl. No.:

13/398034

Inventors:

Brent Eugene Rector - Redmond WA, US
Jackson Michael Davis - Bothell WA, US
Saji Abraham - Kirkland WA, US
Lin Xu - Bellevue WA, US

Assignee:

MICROSOFT CORPORATION - Redmond WA

International Classification:

G06F 9/44

US Classification:

717127

Abstract:

The claimed subject matter provides for systems and/or methods for debugging a computer-executable file. The computer-executable file may be executing in a first runtime environment and located in a first process. The file may further comprise on object having a proxy in that first runtime environment. One method embodiment comprises the steps of debugging said computer-executable file; detecting a proxy for an object called by said file; decoding said proxy to obtain physical information regarding said object; returning said physical object information; and transforming said physical object information into logical object information. In addition, one embodiment of a system is provided that comprising a debugger, said debugger debugging client code; a proxy decoder, said proxy decoder providing information to said debugger about the object pointed by said proxy; and an abstraction transformation, said abstraction transformation transforming physical expressions of a proxy into higher level logical expressions.