def _visited_callback(self, state, pc, instr):
        """ Maintain our own copy of the visited set
        """
        pc = state.platform.current.PC
        with self.locked_context('visited', dict) as ctx:
            ctx[pc] = ctx.get(pc, 0) + 1
def _visited_callback(self, state, pc, instr):
        """ Maintain our own copy of the visited set
        """
        pc = state.platform.current.PC
        with self.locked_context('visited', dict) as ctx:
            ctx[pc] = ctx.get(pc, 0) + 1
def _visited_callback ( self , state , pc , instr ) : pc = state . platform . current . PC with self . locked_context ( 'visited' , dict ) as ctx : ctx [ pc ] = ctx . get ( pc , 0 ) + 1
Maintain our own copy of the visited set
Maintain our own copy of the visited set