angr.angrdb.serializers.cfg_model

class angr.angrdb.serializers.cfg_model.CFGModelSerializer

Bases: object

Serialize/unserialize a CFGModel.

static dump(session, db_kb, ident, cfg_model)
Parameters:

  • session

  • db_kb (DbKnowledgeBase) – The database object for KnowledgeBase.

  • ident (str) – Identifier of the CFG model.

  • cfg_model (CFGModel) – The CFG model to dump.

Returns:

None

static load(session, db_kb, ident, cfg_manager, loader=None)