20. The machine readable medium of claim 17 , 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.
20. The machine readable medium of claim 17 , 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. 23. The machine readable medium of claim 20 , wherein identifying non-aliases and must-aliases of the code segment further comprises instrumenting the code segment to determine an actual memory location accessed by a memory reference.