Method for binary-level branch reversal on computer architectures supporting predicated execution

   
   

Described is a method that identifies a predicate expression representing conditions in predicated assembly language instructions that determine a direction of a conditional branch instruction. The predicate expression is employed to enable a transformation to be made that causes the conditional branch instruction to trigger, or execute, when an opposite condition is true. A method is directed to producing a binary-level conditional branch reversal within a binary program on a computer architecture that supports a predicated execution. The method includes obtaining a predicate expression representing a condition that influences a direction of program flow of the binary-level conditional branch to be reversed, determining a binary-level transformation that causes the binary-level conditional branch to be triggered when an opposite condition is true, and modifying the binary-level conditional branch with the determined binary-level transformation, wherein the binary-level conditional branch is reversed.

Beschrieben eine Methode, die eine Voraussetzung kennzeichnet, die Bedingungen in behaupteten Assemblersprache Anweisungen darstellt, die eine Richtung eines bedingten Verzweigungsbefehls feststellen. Die Voraussetzung wird eingesetzt, um einer Umwandlung zu ermöglichen gebildet zu werden, die den bedingten Verzweigungsbefehl verursacht auszulösen oder durchzuführen, wenn ein gegenüberliegender Zustand zutreffend ist. Eine Methode wird auf das Produzieren einer Binärniveau bedingten Niederlassung Umlenkung innerhalb eines binären Programms über eine Computerarchitektur verwiesen, die eine behauptete Durchführung stützt. Die Methode schließt das Erhalten einer Voraussetzung ein, die eine Bedingung darstellt, das eine Richtung des Programmflusses der aufgehoben zu werden Binärniveau bedingten beeinflußt Niederlassung und stellt eine Binärniveau Umwandlung fest, die dem Binärniveau bedingte Niederlassung veranläßt ausgelöst zu werden, wenn ein gegenüberliegender Zustand zutreffend ist, und die Binärniveau bedingte Niederlassung mit der entschlossenen Binärniveau Umwandlung ändernd, worin die Binärniveau bedingte Niederlassung aufgehoben wird.

 
Web www.patentalert.com

< Method and apparatus for processing content

< Method and system for program editing

> System and method for terminating applications

> Methods and systems for implementing dynamic properties on objects that support only static properties

~ 00163