angr/slicer.py
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)

        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.

Depending on user settings, stack pointer and stack base pointer will be mocked and propagated to individual
tmps.
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 .
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, 
            },
            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 , } , 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 )
Perform a forward execution and perform alias analysis.
Perform a forward execution and perform alias analysis .
"""
        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
        """ # TODO: take care of the relation between sp and bp
None
self
mock_sp
propagate stack pointer or not
propagate stack pointer or not
mock_bp
propagate stack base pointer or not
propagate stack base pointer or not