angr.vaults

class angr.vaults.VaultPickler

Bases: Pickler

__init__(vault, file, *args, assigned_objects=(), **kwargs)

A persistence-aware pickler. It will check for persistence of any objects except for those with IDs in ‘assigned_objects’.

persistent_id(obj)

class angr.vaults.VaultUnpickler

Bases: Unpickler

persistent_load(pid)

class angr.vaults.Vault

Bases: MutableMapping

The vault is a serializer for angr.

keys()

Should return the IDs stored by the vault.

__init__()

is_stored(i)

Checks if the provided id is already in the vault.

load(oid)

store(o)

dumps(o)

Returns a serialized string representing the object, post-deduplication.

Parameters:

o – the object

loads(s)

Deserializes a string representation of the object.

Parameters:

s – the string

static close()

class angr.vaults.VaultDict

Bases: Vault

A Vault that uses a dictionary for storage.

__init__(d=None)

class angr.vaults.VaultDir

Bases: Vault

A Vault that uses a directory for storage.

__init__(d=None)

class angr.vaults.VaultShelf

Bases: VaultDict

A Vault that uses a shelve.Shelf for storage.

__init__(path=None)

close()

class angr.vaults.VaultDirShelf

Bases: VaultDict

A Vault that uses a directory for storage, where every object is stored into a single shelve.Shelf instance. VaultDir creates a file for each object. VaultDirShelf creates only one file for a stored object and everything else it references.

__init__(d=None)

store(o)

load(oid)