CfgNodeMethods
Value members
Concrete methods
Obtain hexadecimal string representation of lineNumber field.
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.
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 successors.
Maps each node in the traversal to a traversal returning its n predecessors.
Maps each node in the traversal to a traversal returning its n predecessors.
Recursively determine all nodes on which this CFG node is control-dependent.
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 which this CFG node controls
Recursively determine all nodes by which this node is dominated
Recursively determine all nodes by which this node is dominated
Recursively determine all nodes which are dominated by this node
Recursively determine all nodes which are dominated by this node
Using the post dominator tree, will determine if this node passes through the included set of nodes and filter it in.
Using the post dominator tree, will determine if this node passes through the included set of nodes and filter it in.
- Value parameters:
- included
the nodes this node must pass through.
- Returns:
the traversal of this node if it passes through the included set.
Using the post dominator tree, will determine if this node passes through the excluded set of nodes and filter it out.
Using the post dominator tree, will determine if this node passes through the excluded set of nodes and filter it out.
- Value parameters:
- excluded
the nodes this node must not pass through.
- Returns:
the traversal of this node if it does not pass through the excluded set.
Recursively determine all nodes by which this node is post dominated
Recursively determine all nodes by which this node is post dominated