[发明专利]验证动态二进制转换器中转换的来宾代码的方法和设备

摘要

本文公开了验证动态二进制转换器中转换的来宾代码的方法、设备、系统和制品。本文中公开的示例设备包括生成代码的第一转换以在主机上执行的转换器，来宾代码的第一转换有利于形成转换的第一来宾代码，并且转换器生成转换的来宾代码的第二转换以在主机上执行。示例设备也包括基于执行第一转换的一部分，识别第一主机状态的转换版本管理器，并且转换版本管理器基于执行第二转换的一部分，识别第二主机状态。示例系统也包括基于在第一主机状态与第二主机状态之间的比较，确定第二转换的状态发散状况的验证器。

主权项

1.一种用于验证动态二进制转换器中转换的来宾代码的设备，包括：用于生成来宾代码的第一转换以在主机上执行的转换器，所述来宾代码的所述第一转换用于形成第一转换的来宾代码，并且所述转换器用于生成所述第一转换的来宾代码的第二转换以在所述主机上执行；用于基于执行所述第一转换的一部分，识别第一主机状态的转换版本管理器，并且所述转换版本管理器用于基于执行所述第二转换的一部分，识别第二主机状态；以及用于基于在所述第一主机状态与所述第二主机状态之间的比较，确定所述第二转换的状态发散状况的验证器。