|
SandMark version 3.0 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--sandmark.obfuscate.boolsplitter.dcfg.DominanceFrontier
DominanceFrontier is used to calculate the dominance frontier of each node in a control flow graph.
The dominance frontier of a node x is the set of all nodes w such that x dominates a predacessor of w, but does not strictly dominate w. Basically, nodes in the dominance frontier have one parent that is dominated by x and at least one parent that is not dominated by x.
DominanceFrontier can be used to calculate both the dominance (forward) and the postdominance (reverse) frontiers for a control flow graph.
FlowGraph
Constructor Summary | |
DominanceFrontier()
|
Method Summary | |
static void |
buildFrontier(FlowGraph graph,
boolean reverse)
Calculates the dominance frontier for a cfg and notifies the blocks in it appropriately. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DominanceFrontier()
Method Detail |
public static void buildFrontier(FlowGraph graph, boolean reverse)
graph
- The cfg to operate onreverse
- Do we calculate the postdominance frontier?
|
SandMark version 3.0 Wed Jan 29 10:30:05 MST 2003 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |