soot.toolkits.graph

Class MHGPostDominatorsFinder

java.lang.Object

soot.toolkits.graph.MHGDominatorsFinder

soot.toolkits.graph.MHGPostDominatorsFinder

All Implemented Interfaces:

DominatorsFinder

public class MHGPostDominatorsFinder
extends MHGDominatorsFinder

Post-dominators finder for multi-headed graph. The dominators returned by this finder are postdominators, so e.g. MHGDominatorsFinder.getDominators(Object) returns all post-dominators.

Author:

Eric Bodden

Field Summary

Fields inherited from class soot.toolkits.graph.MHGDominatorsFinder

fullSet, graph, heads, indexToNode, lastIndex, nodeToFlowSet, nodeToIndex

Constructor Summary

Constructors

Constructor and Description
MHGPostDominatorsFinder(DirectedGraph graph)

Method Summary

Methods inherited from class soot.toolkits.graph.MHGDominatorsFinder

doAnalysis, getDominators, getGraph, getImmediateDominator, indexOf, isDominatedBy, isDominatedByAll

Methods inherited from class java.lang.Object

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

Constructor Detail

MHGPostDominatorsFinder

public MHGPostDominatorsFinder(DirectedGraph graph)