Analysis of Virtual Method Invocation for Binary Translation

The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architecture to another one. Using different specification files, the UQBT can be easily tailored for either a new source or target architecture. UQBT employs sophisanalyses in order to abstract the binary code from the features of the source architecture. In static binary translation, it is not always possible to decode and translate all paths of a program statically, as instructions like computed jumps and indexed calls rely on runtime values. An interpreter is commonly used at runtime to translate such pieces of code, at the expense of runtime. In this paper we present a technique to statically recover the code of virtual method dispatchers, which enhances the ion from the binary code. We also show how the statically recovered information is then used by a dynamic environment to analyse virtual tables in order to ...

• Type: Conference
• Year: 2002
• Where: WCRE
• Authors: Jens Tröger, Cristina Cifuentes
• Keywords: Binary Code, Binary Translator, Software Engineering, Static Binary Translation, WCRE 2002