Method for safely instrumenting large binary code

A method for editing a binary code, comprising:

• transforming the binary code into a plurality of binary code segments;
• inserting a branch instruction into at least one of the plurality of binary code segments;
• creating a binary patch to correspond to the branch instruction;
• and
• appending the binary patch to the at least one of the plurality of binary code segments.

A method for performing a combined transformation and branch slamming operation on a binary code, comprising:

• identifying a function body in the binary code;
• copying the function body from the binary code to a shared object;
• modifying one or more call instructions in the binary code to refer to the shared object, the one or more call instructions previously referring to the function body in the binary code;
• identifying an instruction in the function body copied from the binary code to the shared object, the instruction to be replaced by a branch instruction;
• preparing a binary patch to correspond to the branch instruction;
• replacing the instruction in the function body copied from the binary code to the shared object with the branch instruction;
• and
• appending the binary patch to the shared object.

A computer program embodied on a computer readable medium for editing a binary code, comprising:

• program instructions for transforming the binary code into a plurality of binary code segments;
• program instructions for inserting a branch instruction into at least one of the plurality of binary code segments;
• program instructions for creating a binary patch to correspond to the branch instruction;
• and
• program instructions for appending the binary patch to the at least one of the plurality of binary code segments.