Validating Software Reliability by Binary Translation

Abstract

context of the program to make preparation for the reverse execution. PORD consists of two parts: a virtual machine and a remote control interface. We implement the virtual machine on the basis of QEmu's user mode emulator on Linux/x86 platform. The virtual CPU of the virtual machine behaves as a translator to perform dynamic binary translation that refers to the process of converting the source binary program to the target binary program that will be executed on the native CPU directly. During the translation process, the code to record the execution context will also be inserted into the translated code. All translated code is cached for being reused again. The remote control interface is implemented on the basis of GNU Debugger by introducing some reverse execution commands. The two parts communicate by the gdb remote debugging protocol.