In-place function modification

• US 9,645,912 B2
• Filed: 12/01/2008
• Issued: 05/09/2017
• Est. Priority Date: 12/01/2008
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Inventors: Dubinsky, Leonid, Peyroux, Jean-Francois
• Primary Examiner(s): DAO, THUY CHAN
• Application Number:
  US12/325,436
• Publication Number:
  US 20100138817A1
• Time in Patent Office: 3,081 Days
• CPC Class Codes: G06F 11/3644 by instrumenting at runtime

Abstract

Modifying computer program code can be performed at or immediately prior to runtime of the computer code in a runtime environment of a common language infrastructure of a language-neutral framework for developing and executing computer applications. A function in a computer program can be modified at runtime by injecting arbitrary code, while mitigating an alteration of a program'"'"'s call stack. A just-in-time compilation service is used to compile and execute intermediate language code of the program, and the runtime environment sends callback functions to an event-based profiling agent (profiler) attached to the runtime environment. The profiler can trap desired functions, as determined by configuration data, and inject modification code from stub methods in a stub assembly file. The modified code can be sent back to the runtime environment to be executed by the just-in-time compilation service.

Claims

1. A method, comprising:

comparing a function associated with a computer program being executed to configuration data from a user created configuration file to determine whether the function is to be modified, the function specified within a callback sent from a runtime library, the configuration data identifying functions desired for modification; and

responsive to determining that the function is to be modified;

trapping the callback before delivery of the callback to a compiler associated with the computer program;

injecting modifying intermediate language code from a file separate from the computer program into intermediate language code associated with the computer program to create modified intermediate language code, the modified intermediate language code comprising at least some of the intermediate language code and the modifying intermediate language code, the modified intermediate language code configured to perform a modified function when executed, the modified function comprising a modification of the function;

modifying the callback with the modified intermediate language code to create a modified callback; and

providing the modified callback, instead of the callback, to the compiler for compilation.

2. The method of claim 1, comprising running one or more injected modifying compiled code arguments in a same stack frame as the function.

3. The method of claim 1, the modifying intermediate language code comprising at least one of:

prologue modification code;

epilogue modification code;

or

arbitrary modification code.

4. The method of claim 1, comprising:

acquiring the modifying intermediate language code from a stub assembly file.

5. The method of claim 4, comprising:

compiling stub method code of the stub assembly file into an intermediate language associated with the intermediate language code to create the modifying intermediate language code.

6. The method of claim 4, the injecting comprising:

copying an assembly metadata token for a stub method defined within the stub assembly file.

7. The method of claim 1, comprising:

invoking the compiler to compile the modified intermediate language code, within the modified callback, into machine code.

8. The method of claim 1, comprising:

invoking the compiler to run the modified function within a stack frame without altering a call stack of the computer program.

9. The method of claim 1, comprising:

identifying a branch structure associated with the modifying intermediate language code; and

preserving the branch structure within the modified intermediate language code.

10. The method of claim 9, the identifying comprising:

parsing the modifying intermediate language code to create a directed graph; and

evaluating the directed graph to identify the branch structure.

11. The method of claim 9, the branch structure corresponding to at least one of a branch or an exception handling block.

12. The method of claim 9, the preserving comprising:

merging one or more instructions, pointed to by the branch structure, into the modified intermediate language code.

13. A system, comprising:

one or more processing units; and

memory comprising instructions that when executed by at least one of the one or more processing units implement a modification component configured to;

compare a function associated with a computer program being executed to configuration data from a user created configuration file to determine whether the function is to be modified, the function specified within a callback sent from a runtime library, the configuration data identifying functions desired to be modified; and

responsive to determining that the function is to be modified;

trap the callback before delivery of the callback to a compiler associated with the computer program;

inject modifying intermediate language code from a file separate from the computer program into intermediate language code associated with the computer program to create modified intermediate language code, the modified intermediate language code comprising at least some of the intermediate language code and the modifying intermediate language code, the modified intermediate language code configured to perform a modified function when executed;

modify the callback with the modified intermediate language code to create a modified callback; and

provide the modified callback, instead of the callback, to the compiler for compilation.

14. The system of claim 13, the modification component configured to:

acquire the modifying intermediate language code from a stub assembly file.

15. The system of claim 14, the modification component configured to:

compile stub method code of the stub assembly file into an intermediate language associated with the intermediate language code to create the modifying intermediate language code.

16. The system of claim 14, the modification component configured to:

copy an assembly metadata token for a stub method defined within the stub assembly file.

17. The system of claim 13, the modification component configured to:

identify a branch structure associated with the modifying intermediate language code; and

preserve the branch structure within the modified intermediate language code.

18. The system of claim 17, the branch structure corresponding to at least one of a branch or an exception handling block.

19. The system of claim 17, the modification component configured to:

merge one or more instructions, pointed to by the branch structure, into the modified intermediate language code.

20. A computer-readable device comprising a hardware processor and processor-executable instructions that when executed perform a method, comprising:

comparing a function associated with a computer program to configuration data to determine whether the function is to be modified, the function specified within a callback sent from a runtime library, the configuration data identifying functions desired for modification; and

responsive to determining that the function is to be modified;

trapping the callback before delivery of the callback to a compiler associated with the computer program;

injecting modifying intermediate language code from a file separate from the computer program into intermediate language code associated with the computer program to create modified intermediate language code, the modified intermediate language code comprising at least some of the intermediate language code and the modifying intermediate language code, the modified intermediate language code configured to perform a modified function when executed, the modified function comprising a modification of the function;

modifying the callback with the modified intermediate language code to create a modified callback; and

providing the modified callback, instead of the callback, to the compiler for compilation.