1. A method comprising: translating a first binary code executable on a first processor to a second binary code executable on a second processor; inserting instrumentation code to the second binary code for selecting a code segment of the second binary code for load-store memory disambiguation based at least in part on a measure of likelihood of frequency of execution of the code segment; determining prior to runtime checks non-aliasing memory references for exclusion associated with memory references of load and store instructions in the selected code segment; heuristically identifying, in response to the determining, one or more ambiguous memory dependencies associated with the memory references of the load and the store instructions in the selected code segment for disambiguation by the runtime checks; performing a pointer analysis of the selected code segment, in response to the heuristically identifying, to identify all other ambiguous memory dependencies removable by the runtime checks; and inserting the runtime checks to the selected code segment to disambiguate identified ambiguous memory dependencies from the pointer analysis and to disambiguate heuristically identified memory dependencies.