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.
Περιγράφεται μια μέθοδος που προσδιορίζει μια έκφραση κατηγορήματος που αντιπροσωπεύει τους όρους στις βεβαιωμένες οδηγίες Συμβολικής γλώσσας (Assembly) που καθορίζουν μια κατεύθυνση μιας υπό όρους οδηγίας κλάδων. Η έκφραση κατηγορήματος υιοθετείται για να επιτρέψει σε έναν μετασχηματισμό για να γίνει ότι αιτίες η υπό όρους οδηγία κλάδων που προκαλεί, ή που εκτελεί, όταν ένας αντίθετος όρος είναι αληθινός. Μια μέθοδος κατευθύνεται στην παραγωγή μιας δυαδικός-ισόπεδης υπό όρους αντιστροφής κλάδων στα πλαίσια ενός δυαδικού προγράμματος για μια αρχιτεκτονική υπολογιστών που υποστηρίζει μια βεβαιωμένη εκτέλεση. Η μέθοδος περιλαμβάνει τη λήψη μιας έκφρασης κατηγορήματος που αντιπροσωπεύει έναν όρο που επηρεάζει μια κατεύθυνση της ροής προγράμματος του δυαδικός-ισόπεδου υπό όρους κλάδου που αντιστρέφεται, καθοριστικός έναν δυαδικός-ισόπεδο μετασχηματισμό που αναγκάζει το δυαδικός-ισόπεδο υπό όρους κλάδο για να προκληθεί όταν ένας αντίθετος όρος είναι αληθινός, και τροποποιώντας το δυαδικός-ισόπεδο υπό όρους κλάδο με τον καθορισμένο δυαδικός-ισόπεδο μετασχηματισμό, όπου ο δυαδικός-ισόπεδος υπό όρους κλάδος αντιστρέφεται.
