def annotation(self, xdata: InstrXData) -> str:
"""xdata format: a:x .
xprs[0]: true condition
xprs[1]: false condition
xprs[2]: true condition (simplified)
xprs[3]: false condition (simplified)
xprs[4]: target address (absolute)
or, if no conditions
xprs[0]: target address (absolute)
"""
if self.is_call_instruction(xdata):
tgt = xdata.call_target(self.ixd)
args = ", ".join(str(x) for x in self.arguments(xdata))
return "call " + str(tgt) + "(" + args + ")"
elif xdata.has_branch_conditions():
return "if " + str(xdata.xprs[0]) + " then goto " + str(
xdata.xprs[2])
elif self.tags[1] in ["a", "unc"]:
return "goto " + str(xdata.xprs[0])
else:
return "if ? goto " + str(xdata.xprs[0])
def ft_conditions(self, xdata: InstrXData) -> Sequence[XXpr]:
if xdata.has_branch_conditions():
return [xdata.xprs[1], xdata.xprs[0]]
else:
return []
