CfgNodeMethods

Obtain hexadecimal string representation of lineNumber field.

Binary frontends store addresses in the lineNumber field as integers. For interoperability with other binary analysis tooling, it is convenient to allow retrieving these as hex strings.

Successors in the CFG

Maps each node in the traversal to a traversal returning its n successors.

Maps each node in the traversal to a traversal returning its n predecessors.

Predecessors in the CFG

Recursively determine all nodes on which this CFG node is control-dependent.

Recursively determine all nodes which this CFG node controls

Recursively determine all nodes by which this node is dominated

Recursively determine all nodes which are dominated by this node

Recursively determine all nodes by which this node is post dominated

Recursively determine all nodes which are post dominated by this node

Textual representation of CFG node