com.ibm.wala.cfg.cdg

Class ControlDependenceGraph<I,T extends IBasicBlock<I>>

java.lang.Object

com.ibm.wala.util.graph.AbstractGraph<T>

com.ibm.wala.util.graph.AbstractNumberedGraph<T>

com.ibm.wala.cfg.cdg.ControlDependenceGraph<I,T>

All Implemented Interfaces:

com.ibm.wala.util.graph.EdgeManager<T>, com.ibm.wala.util.graph.Graph<T>, com.ibm.wala.util.graph.NodeManager<T>, com.ibm.wala.util.graph.NumberedEdgeManager<T>, com.ibm.wala.util.graph.NumberedGraph<T>, com.ibm.wala.util.graph.NumberedNodeManager<T>, Iterable<T>

public class ControlDependenceGraph<I,T extends IBasicBlock<I>>
extends com.ibm.wala.util.graph.AbstractNumberedGraph<T>

Control Dependence Graph

Constructor Summary

Constructors

Constructor and Description
ControlDependenceGraph(ControlFlowGraph<I,T> cfg)
ControlDependenceGraph(ControlFlowGraph<I,T> cfg, boolean wantEdgeLabels)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	controlEquivalent(T bb1, T bb2)
ControlFlowGraph	getControlFlowGraph()
Set<Object>	getEdgeLabels(Object from, Object to) Return the set of edge labels for the control flow edges that cause the given edge in the CDG.
com.ibm.wala.util.graph.NumberedEdgeManager<T>	getEdgeManager()
com.ibm.wala.util.graph.NumberedNodeManager<T>	getNodeManager()
String	toString()

Methods inherited from class com.ibm.wala.util.graph.AbstractNumberedGraph

getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes

Methods inherited from class com.ibm.wala.util.graph.AbstractGraph

addEdge, addNode, containsNode, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.util.graph.Graph

removeNodeAndEdges

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Constructor Detail

ControlDependenceGraph

public ControlDependenceGraph(ControlFlowGraph<I,T> cfg,
                      boolean wantEdgeLabels)

Parameters:

cfg - governing control flow graph

wantEdgeLabels - whether to compute edge labels for CDG edges

ControlDependenceGraph

public ControlDependenceGraph(ControlFlowGraph<I,T> cfg)

Parameters:

cfg - governing control flow graph

Method Detail

toString

public String toString()

Overrides:

toString in class com.ibm.wala.util.graph.AbstractGraph<T extends IBasicBlock<I>>

getControlFlowGraph

public ControlFlowGraph getControlFlowGraph()

getEdgeLabels

public Set<Object> getEdgeLabels(Object from,
                        Object to)

Return the set of edge labels for the control flow edges that cause the given edge in the CDG. Requires that the CDG be constructed with wantEdgeLabels being true.

getNodeManager

public com.ibm.wala.util.graph.NumberedNodeManager<T> getNodeManager()

Overrides:

getNodeManager in class com.ibm.wala.util.graph.AbstractNumberedGraph<T extends IBasicBlock<I>>

getEdgeManager

public com.ibm.wala.util.graph.NumberedEdgeManager<T> getEdgeManager()

Overrides:

getEdgeManager in class com.ibm.wala.util.graph.AbstractNumberedGraph<T extends IBasicBlock<I>>

controlEquivalent

public boolean controlEquivalent(T bb1,
                        T bb2)