Methods and apparatus to validate translated guest code in a dynamic binary translator

A method to validate translated guest code in a dynamic binary translator, the method comprising:

• generating a first translation of guest code to execute on a host machine, the first translation of the guest code to facilitate creating a first translated guest code;
• generating a second translation of the translated guest code to execute on the host machine;
• identifying a first host machine state based on executing a portion of the first translation;
• identifying a second host machine state based on executing a portion of the second translation;
• and
• determining a state divergence status of the second translation based on a comparison between the first host machine state and the second host machine state.

A tangible computer readable storage medium having instructions stored thereon that, when executed, cause a machine to at least:

• generate a first translation of guest code to execute on a host machine, the first translation of the guest code to facilitate creating a first translated guest code;
• generate a second translation of the translated guest code to execute on the host machine;
• identify a first host machine state based on executing a portion of the first translation;
• identify a second host machine state of the host machine based on executing a portion of the second translation;
• and
• determine a state divergence status of the second translation based on a comparison between the first host machine state and the second host machine state.