soot.toolkits.scalar
Class ForwardBranchedFlowAnalysis<A>
java.lang.Object
soot.toolkits.scalar.AbstractFlowAnalysis<N,A>
soot.toolkits.scalar.BranchedFlowAnalysis<Unit,A>
soot.toolkits.scalar.ForwardBranchedFlowAnalysis<A>
- Direct Known Subclasses:
- BranchedRefVarsAnalysis, CastCheckEliminator, NullnessAnalysis
public abstract class ForwardBranchedFlowAnalysis<A>
- extends BranchedFlowAnalysis<Unit,A>
Abstract class providing an engine for branched forward flow analysis.
WARNING: This does not handle exceptional flow as branches!
Method Summary |
protected void |
doAnalysis()
Carries out the actual flow analysis. |
protected boolean |
isForward()
Returns true if this analysis is forwards. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ForwardBranchedFlowAnalysis
public ForwardBranchedFlowAnalysis(UnitGraph graph)
isForward
protected boolean isForward()
- Description copied from class:
AbstractFlowAnalysis
- Returns true if this analysis is forwards.
- Specified by:
isForward
in class AbstractFlowAnalysis<Unit,A>
doAnalysis
protected void doAnalysis()
- Description copied from class:
AbstractFlowAnalysis
- Carries out the actual flow analysis.
Typically called from a concrete FlowAnalysis's constructor.
- Specified by:
doAnalysis
in class AbstractFlowAnalysis<Unit,A>