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.
- Author:
- Navindra Umanee
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)