This is a mapping from an edge to an abstract vertex (for external function calls). We first separately create abstract vertices even if they are associated with the same external function (address) in order to compute dominance relationships without introducing incorrect paths or cycles. For convenience, we will always consider as a key "a return edge" from an abstract vertex to a fall-through vertex.

Mapping from a variable to a set of defining SSA basic blocks.

Variable ID stack.

The interface for lifting an IRCFG to an SSACFG.

Callback interface for SSA vertex creation.

The factory for SSA lifter.

SSACFG's vertex.

A mapping from an IRCFG vertex to an SSACFG vertex.

Counter for each variable.