(_, sim_successors)
return True
Determine if this SimIRSB has an indirect jump as its exit
Determine if this SimIRSB has an indirect jump as its exit
Determine if this SimIRSB has an indirect jump as its exit
def _is_indirect_jump(_, sim_successors):
        """
        Determine if this SimIRSB has an indirect jump as its exit
        """

        if sim_successors.artifacts['irsb_direct_next']:
            # It's a direct jump
            return False

        default_jumpkind = sim_successors.artifacts['irsb_default_jumpkind']
        if default_jumpkind not in ('Ijk_Call', 'Ijk_Boring', 'Ijk_InvalICache'):
            # It's something else, like a ret of a syscall... we don't care about it
            return False

        return True
def _is_indirect_jump ( _ , sim_successors ) : if sim_successors . artifacts [ 'irsb_direct_next' ] : # It's a direct jump return False default_jumpkind = sim_successors . artifacts [ 'irsb_default_jumpkind' ] if default_jumpkind not in ( 'Ijk_Call' , 'Ijk_Boring' , 'Ijk_InvalICache' ) : # It's something else, like a ret of a syscall... we don't care about it return False return True