The most important property of a binary translator is to ensure that all instructions are checked and translated prior to execution.
Static binary translation is not able to cover all code.
Hidden code in data sections could be reached through indirect jumps or a jump could target into an instruction.
Such control transfers are hard to analyze statically, especially if malicious code targets a specific binary translator, but are handled naturally in dynamic binary translators that translate code on a basic block level before the basic block is executed the first time.
Dynamic binary translator are therefore well suited to implement user-space software-based fault isolation.
阅读(1104) | 评论(0) | 转发(0) |