(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
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.
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 .
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)
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 + 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 )