(
        self,
        src_stash="active", min=5, max=10,  # pylint:disable=redefined-builtin
        staging_stash="spill_stage", staging_min=10, staging_max=20,
        pickle_callback=None, unpickle_callback=None, post_pickle_callback=None,
        priority_key=None, vault=None, states_collection=None,
    )
Initializes the spiller.

        :param max:          the number of states that are *not* spilled
        :param src_stash:    the stash from which to spill states (default: active)
        :param staging_stash: the stash *to* which to spill states (default: "spill_stage")
        :param staging_max:  the number of states that can be in the staging stash before things get spilled to ANA
                             (default: None. If staging_stash is set, then this means unlimited, and ANA will not be
                             used).
        :param priority_key: a function that takes a state and returns its numerical priority (MAX_INT is lowest
                             priority). By default, self.state_priority will be used, which prioritizes by object ID.
        :param vault:        an angr.Vault object to handle storing and loading of states. If not provided, an
                             angr.vaults.VaultShelf will be created with a temporary file.
Initializes the spiller.
Initializes the spiller .
def __init__(
        self,
        src_stash="active", min=5, max=10,  # pylint:disable=redefined-builtin
        staging_stash="spill_stage", staging_min=10, staging_max=20,
        pickle_callback=None, unpickle_callback=None, post_pickle_callback=None,
        priority_key=None, vault=None, states_collection=None,
    ):
        """
        Initializes the spiller.

        :param max:          the number of states that are *not* spilled
        :param src_stash:    the stash from which to spill states (default: active)
        :param staging_stash: the stash *to* which to spill states (default: "spill_stage")
        :param staging_max:  the number of states that can be in the staging stash before things get spilled to ANA
                             (default: None. If staging_stash is set, then this means unlimited, and ANA will not be
                             used).
        :param priority_key: a function that takes a state and returns its numerical priority (MAX_INT is lowest
                             priority). By default, self.state_priority will be used, which prioritizes by object ID.
        :param vault:        an angr.Vault object to handle storing and loading of states. If not provided, an
                             angr.vaults.VaultShelf will be created with a temporary file.
        """
        super().__init__()
        self.max = max
        self.min = min
        self.src_stash = src_stash
        self.staging_stash = staging_stash
        self.staging_max = staging_max
        self.staging_min = staging_min

        # various callbacks
        self.priority_key = priority_key
        self.unpickle_callback = unpickle_callback
        self.pickle_callback = pickle_callback
        self.post_pickle_callback = post_pickle_callback

        # tracking of pickled stuff
        self._pickled_states = PickledStatesList() if states_collection is None else states_collection
        self._ever_pickled = 0
        self._ever_unpickled = 0
        self._vault = vaults.VaultShelf() if vault is None else vault
def __init__ ( self , src_stash = "active" , min = 5 , max = 10 , # pylint:disable=redefined-builtin staging_stash = "spill_stage" , staging_min = 10 , staging_max = 20 , pickle_callback = None , unpickle_callback = None , post_pickle_callback = None , priority_key = None , vault = None , states_collection = None , ) : super ( ) . __init__ ( ) self . max = max self . min = min self . src_stash = src_stash self . staging_stash = staging_stash self . staging_max = staging_max self . staging_min = staging_min # various callbacks self . priority_key = priority_key self . unpickle_callback = unpickle_callback self . pickle_callback = pickle_callback self . post_pickle_callback = post_pickle_callback # tracking of pickled stuff self . _pickled_states = PickledStatesList ( ) if states_collection is None else states_collection self . _ever_pickled = 0 self . _ever_unpickled = 0 self . _vault = vaults . VaultShelf ( ) if vault is None else vault