METHODS AND APPARATUS TO VALIDATE TRANSLATED GUEST CODE IN A DYNAMIC BINARY TRANSLATOR

Methods, apparatus, systems and articles of manufacture are disclosed to validate translated guest code in a dynamic binary translator. An example apparatus disclosed herein includes a translator to generate a first translation of code to execute on a host machine, the first translation of the guest code to facilitate creating a first translated guest code, and the translator to generate a second translation of the translated guest code to execute on the host machine. The example apparatus also includes a translation versions manager to identify a first host machine state based on executing a portion of the first translation, and the translation versions manager to identify a second host machine state based on executing a portion of the second translation. The example system also includes a validator to 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. La présente invention concerne des procédés, des appareils, des systèmes et des articles de fabrication destinés à la validation d'un code invité traduit au sein d'un traducteur binaire dynamique. Un appareil exemplaire de la présente invention comprend un traducteur destiné à générer une première traduction d'un code à exécuter sur une machine hôte, une première traduction du code invité afin de faciliter la création d'un premier code invité traduit, et la génération par le traducteur d'une seconde traduction du code invité traduit à exécuter sur la machine hôte. L'appareil exemplaire de la présente invention comprend également un gestionnaire de versions de traduction destiné à identifier un premier statut de machine hôte en se basant sur l'exécution d'une partie de la première traduction, ainsi que l'identification par le gestionnaire de versions de traduction d'un second statut de machine hôte en se basant sur l'exécution d'une partie de la seconde traduction. Le système exemplaire de la présente invention comprend également un validateur destiné à déterminer un statut de divergence de statut de la seconde traduction en se basant sur une comparaison entre le premier statut de machine hôte et le second statut de machine hôte.