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; associating aliasing information with said executable target program; executing said executable target program with a dynamic binary optimizer, said dynamic binary optimizer accessing said aliasing information to perform at least one optimization of said executable target program during execution.