'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'

def _alias_analysis(self, mock_sp=True, mock_bp=True):

    state = SimLightState(regs={self._arch.sp_offset: self._arch.initial_sp, self._arch.bp_offset: (self._arch.initial_sp + 8192)}, 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)
