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.
16. The system of claim 12 , wherein the runtime checks further comprise symbolically computing a value of a register and a value of a memory location referenced by the code segment.