docs: def _alias_analysis(self, mock_sp=True, mock_bp=True):
          """
          Perform a forward execution and perform alias analysis. Note that this analysis is fast, light-weight, and by no
          means complete. For instance, most arithmetic operations are not supported.
  
          - Depending on user settings, stack pointer and stack base pointer will be mocked and propagated to individual
            tmps.
  
          :param bool mock_sp: propagate stack pointer or not
          :param bool mock_bp: propagate stack base pointer or not
          :return: None
          """
  
          state = SimLightState(
              regs={
                  self._arch.sp_offset: self._arch.initial_sp,
                  self._arch.bp_offset: self._arch.initial_sp + 0x2000, # TODO: take care of the relation between sp and bp
              },
              temps={},
              options={
              'mock_sp': mock_sp,
              'mock_bp': mock_bp,
              }
          )
  
          for stmt_idx, stmt in list(enumerate(self._statements)):
              self._forward_handler_stmt(stmt, state)