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 dump_internal(session, db_kb, internal_manager, func_addr, ident=None)

Parameters:

• db_kb (DbKnowledgeBase)

• internal_manager (VariableManagerInternal)

• func_addr (int)

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)