(self, extra_info, jumpkind, target_addr)
:return: None
def _pre_handle_successor_state(self, extra_info, jumpkind, target_addr):
        """

        :return: None
        """

        # Fill up extra_info
        if extra_info['is_call_jump'] and self._is_call_jumpkind(jumpkind):
            extra_info['call_target'] = target_addr

        if (extra_info['is_call_jump'] and
                    jumpkind == 'Ijk_FakeRet'):
            extra_info['return_target'] = target_addr

        if jumpkind == "Ijk_Call":
            extra_info['last_call_exit_target'] = target_addr
def _pre_handle_successor_state ( self , extra_info , jumpkind , target_addr ) : # Fill up extra_info if extra_info [ 'is_call_jump' ] and self . _is_call_jumpkind ( jumpkind ) : extra_info [ 'call_target' ] = target_addr if ( extra_info [ 'is_call_jump' ] and jumpkind == 'Ijk_FakeRet' ) : extra_info [ 'return_target' ] = target_addr if jumpkind == "Ijk_Call" : extra_info [ 'last_call_exit_target' ] = target_addr