(self, simsuccessors, state)
:return:
def _update_thumb_addrs(self, simsuccessors, state):
        """

        :return:
        """

        # For ARM THUMB mode
        if simsuccessors.sort == 'IRSB' and state.thumb:
            insn_addrs = simsuccessors.artifacts['insn_addrs']
            self._thumb_addrs.update(insn_addrs)
            self._thumb_addrs.update(map(lambda x: x + 1, insn_addrs))
def _update_thumb_addrs ( self , simsuccessors , state ) : # For ARM THUMB mode if simsuccessors . sort == 'IRSB' and state . thumb : insn_addrs = simsuccessors . artifacts [ 'insn_addrs' ] self . _thumb_addrs . update ( insn_addrs ) self . _thumb_addrs . update ( map ( lambda x : x + 1 , insn_addrs ) )