15. The system of claim 12 , wherein identifying non-aliases and must-aliases of the code segment further comprises to instrument the code segment to determine an actual memory location accessed by a memory reference.
12. The system of claim 9 , wherein heuristically identifying ambiguous memory dependencies associated with the memory references of the load and the store instructions in the code segment further comprises identifying non-aliases and must-aliases of the code segment.