BinEssence represents essential information about the binary at all levels: a low-level interface for binary code and data, parsed instructions, and recovered control-flow information including CFG itself. Note that every field of BinEssence is *mutable*.

A graph lens for obtaining CallGraph.

A mapping from an address to a CallCFG vertex.