CfgNodeMethods
Attributes
- Graph
-
- Supertypes
Members list
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.
Attributes
Successors in the CFG
Successors in the CFG
Attributes
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.
Attributes
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.
Attributes
Predecessors in the CFG
Predecessors in the CFG
Attributes
Recursively determine all nodes on which this CFG node is control-dependent.
Recursively determine all nodes on which this CFG node is control-dependent.
Attributes
Recursively determine all nodes which this CFG node controls
Recursively determine all nodes which this CFG node controls
Attributes
Recursively determine all nodes by which this node is dominated
Recursively determine all nodes by which this node is dominated
Attributes
Recursively determine all nodes which are dominated by this node
Recursively determine all nodes which are dominated by this node
Attributes
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.
Attributes
- 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.
Attributes
- 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
Attributes
Recursively determine all nodes which are post dominated by this node
Recursively determine all nodes which are post dominated by this node