soot.shimple.internal.analysis
Class DominatorsFinder
java.lang.Object
|
+--soot.shimple.internal.analysis.DominatorsFinder
- public class DominatorsFinder
- extends java.lang.Object
A wrapper class for our Dominators analysis. We finally chose to
implement the easy flow analysis algorithm instead of a more
efficient iterative one.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
DominatorsFinder
public DominatorsFinder(BlockGraph graph)
getDominators
public java.util.List getDominators(Block s)
isDominatedBy
public boolean isDominatedBy(Block s,
Block dominator)
isDominatedByAll
public boolean isDominatedByAll(Block s,
java.util.Collection dominators)