maat.Branch class

Describes contro-flow branch operation

❱   Attributes

bool taken
True if the branch is taken

Constraint cond
Branch condition (if conditional branch). The branch is taken if cond is evaluated to True

Value target
Target address if the branch is taken

Value next
Address of the next instruction to execute if the branch is not taken