angr/exploration_techniques/director.py
def _peek_forward(self, simgr):
        """
        Make sure all current basic block on each state shows up in the CFG. For blocks that are not in the CFG, start
        CFG recovery from them with a maximum basic block depth of 100.

        :param simgr:
        :return:
        """

        if self._cfg is None:

            starts = list(simgr.active)
            self._cfg_kb = KnowledgeBase(self.project)

            self._cfg = self.project.analyses.CFGEmulated(kb=self._cfg_kb, starts=starts, max_steps=self._peek_blocks,
                                                          keep_state=self._cfg_keep_states
                                                          )

        else:

            starts = list(simgr.active)

            self._cfg.resume(starts=starts, max_steps=self._peek_blocks)

        Make sure all current basic block on each state shows up in the CFG. For blocks that are not in the CFG, start
        CFG recovery from them with a maximum basic block depth of 100.

        :param simgr:
        :return:
        
Make sure all current basic block on each state shows up in the CFG. For blocks that are not in the CFG, start
CFG recovery from them with a maximum basic block depth of 100.
Make sure all current basic block on each state shows up in the CFG . For blocks that are not in the CFG start CFG recovery from them with a maximum basic block depth of 100 .
def _peek_forward(self, simgr):
        if self._cfg is None:
            starts = list(simgr.active)
            self._cfg_kb = KnowledgeBase(self.project)
            self._cfg = self.project.analyses.CFGEmulated(kb=self._cfg_kb, starts=starts, max_steps=self._peek_blocks,
                                                          keep_state=self._cfg_keep_states
                                                          )
        else:
            starts = list(simgr.active)
            self._cfg.resume(starts=starts, max_steps=self._peek_blocks)
def _peek_forward ( self , simgr ) : if self . _cfg is None : starts = list ( simgr . active ) self . _cfg_kb = KnowledgeBase ( self . project ) self . _cfg = self . project . analyses . CFGEmulated ( kb = self . _cfg_kb , starts = starts , max_steps = self . _peek_blocks , keep_state = self . _cfg_keep_states ) else : starts = list ( simgr . active ) self . _cfg . resume ( starts = starts , max_steps = self . _peek_blocks )
Make sure all current basic block on each state shows up in the CFG.
Make sure all current basic block on each state shows up in the CFG .
"""
        Make sure all current basic block on each state shows up in the CFG. For blocks that are not in the CFG, start
        CFG recovery from them with a maximum basic block depth of 100.

        :param simgr:
        :return:
        """
None
self
simgr
None