angr.angrdb.serializers.variables

class angr.angrdb.serializers.variables.VariableManagerSerializer

Bases: object

Serialize/unserialize a variable manager and its variables.

static dump(session, db_kb, var_manager)

Parameters:

• db_kb (DbKnowledgeBase)

• var_manager (VariableManager)

static load(session, db_kb, kb, ident=None)

Parameters:

• db_kb (DbKnowledgeBase)

• kb (KnowledgeBase)

static load_internal(db_varcoll, variable_manager)

Return type:

VariableManagerInternal

Parameters:

variable_manager (VariableManager)