code: def _analyze_states(state: GlobalState) -> List[Issue]:
      
      call = get_call_from_state(state)
      if call is None:
          return []
      issues = []  # type: List[Issue]
  
      if call.type is not "DELEGATECALL":
          return []
      if state.environment.active_function_name is not "fallback":
          return []
  
      state = call.state
      address = state.get_current_instruction()["address"]
      meminstart = get_variable(state.mstate.stack[-3])
  
      if meminstart.type == VarType.CONCRETE:
          issues += _concrete_call(call, state, address, meminstart)
  
      return issues
docs: :param state: the current state
      :return: returns the issues for that corresponding state