1. A computer-implemented method for executing a target program in a computer system, comprising: compiling code of said target program for execution on a computer system to produce an executable target program, said executable target program being compiled from a non-executable version of said target program, said executable target program comprising a first set of processor-executable instructions; associating aliasing information with said executable target program, said aliasing information identifying, for each of a plurality of instructions of said first set, a corresponding subset of one or more instructions of said first set which may reference the same memory location as the respective instruction, said aliasing information being derived from said non-executable version of said target program; executing said executable target program with a dynamic binary optimizer, said dynamic binary optimizer accessing said aliasing information to generate a second set of processor-executable instructions of said target program, said second set including at least one instruction not contained in said first set, said second set replacing said first set to perform at least one optimization of said executable target program during execution.