Package com.ensoftcorp.open.slice.analysis

Class FOWControlDependenceGraph

java.lang.Object

com.ensoftcorp.open.slice.analysis.DependenceGraph

com.ensoftcorp.open.slice.analysis.FOWControlDependenceGraph

public class FOWControlDependenceGraph
extends DependenceGraph

Constructs the Control Dependence Graph (CGD) from a given Control Flow Graph (CFG) Computed using the Ferrante, Ottenstein, and Warren algorithm Reference: 1) http://www.cc.gatech.edu/~harrold/6340/cs6340_fall2009/Slides/BasicAnalysis4.pdf

Author:

Ben Holland

Nested Class Summary

Nested classes/interfaces inherited from class com.ensoftcorp.open.slice.analysis.DependenceGraph

DependenceGraph.Factory, DependenceGraph.SliceDirection

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	CONTROL_DEPENDENCE_EDGE	Used to tag the edges between nodes that contain a control dependence

Constructor Summary

Constructors

Constructor	Description
FOWControlDependenceGraph(com.ensoftcorp.atlas.core.db.graph.Graph cfg)
FOWControlDependenceGraph(com.ensoftcorp.atlas.core.db.graph.Graph cfg, boolean purgeAugmentations)

Method Summary

Modifier and Type	Method	Description
com.ensoftcorp.atlas.core.query.Q	getAugmentedControlFlowGraph()
com.ensoftcorp.atlas.core.query.Q	getControlFlowGraph()
com.ensoftcorp.atlas.core.query.Q	getForwardDominanceTree()
com.ensoftcorp.atlas.core.query.Q	getGraph()

Methods inherited from class com.ensoftcorp.open.slice.analysis.DependenceGraph

getSlice, getStatement, getStatements

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CONTROL_DEPENDENCE_EDGE

public static final java.lang.String CONTROL_DEPENDENCE_EDGE

Used to tag the edges between nodes that contain a control dependence

See Also:

Constant Field Values

Constructor Detail

FOWControlDependenceGraph

public FOWControlDependenceGraph(com.ensoftcorp.atlas.core.db.graph.Graph cfg)

FOWControlDependenceGraph

public FOWControlDependenceGraph(com.ensoftcorp.atlas.core.db.graph.Graph cfg,
                                 boolean purgeAugmentations)

Method Detail

getControlFlowGraph

public com.ensoftcorp.atlas.core.query.Q getControlFlowGraph()

getForwardDominanceTree

public com.ensoftcorp.atlas.core.query.Q getForwardDominanceTree()

getAugmentedControlFlowGraph

public com.ensoftcorp.atlas.core.query.Q getAugmentedControlFlowGraph()

getGraph

public com.ensoftcorp.atlas.core.query.Q getGraph()

Specified by:

getGraph in class DependenceGraph