soot.toolkits.scalar
Class ForwardBranchedFlowAnalysis
java.lang.Object
soot.toolkits.scalar.AbstractFlowAnalysis
soot.toolkits.scalar.BranchedFlowAnalysis
soot.toolkits.scalar.ForwardBranchedFlowAnalysis
- Direct Known Subclasses:
- BranchedRefVarsAnalysis, CastCheckEliminator
- public abstract class ForwardBranchedFlowAnalysis
- extends BranchedFlowAnalysis
Abstract class providing an engine for branched forward flow analysis.
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
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