(self)
Initialization work. Executed prior to the analysis.

        :return: None
Initialization work. Executed prior to the analysis.
Initialization work . Executed prior to the analysis .
def _pre_analysis(self):
        """
        Initialization work. Executed prior to the analysis.

        :return: None
        """

        # Fill up self._starts
        for item in self._starts:
            callstack = None
            if isinstance(item, tuple):
                # (addr, jumpkind)
                ip = item[0]
                state = self._create_initial_state(item[0], item[1])

            elif isinstance(item, SimState):
                # SimState
                state = item.copy()  # pylint: disable=no-member
                ip = state.solver.eval_one(state.ip)
                self._reset_state_mode(state, 'fastpath')

            else:
                raise AngrCFGError('Unsupported CFG start type: %s.' % str(type(item)))

            self._symbolic_function_initial_state[ip] = state
            path_wrapper = CFGJob(ip, state, self._context_sensitivity_level, None, None, call_stack=callstack)
            key = path_wrapper.block_id
            if key not in self._start_keys:
                self._start_keys.append(key)

            self._insert_job(path_wrapper)
            self._register_analysis_job(path_wrapper.func_addr, path_wrapper)
def _pre_analysis ( self ) : # Fill up self._starts for item in self . _starts : callstack = None if isinstance ( item , tuple ) : # (addr, jumpkind) ip = item [ 0 ] state = self . _create_initial_state ( item [ 0 ] , item [ 1 ] ) elif isinstance ( item , SimState ) : # SimState state = item . copy ( ) # pylint: disable=no-member ip = state . solver . eval_one ( state . ip ) self . _reset_state_mode ( state , 'fastpath' ) else : raise AngrCFGError ( 'Unsupported CFG start type: %s.' % str ( type ( item ) ) ) self . _symbolic_function_initial_state [ ip ] = state path_wrapper = CFGJob ( ip , state , self . _context_sensitivity_level , None , None , call_stack = callstack ) key = path_wrapper . block_id if key not in self . _start_keys : self . _start_keys . append ( key ) self . _insert_job ( path_wrapper ) self . _register_analysis_job ( path_wrapper . func_addr , path_wrapper )