soot.toolkits.scalar
Class BackwardFlowAnalysis
java.lang.Object
soot.toolkits.scalar.AbstractFlowAnalysis
soot.toolkits.scalar.FlowAnalysis
soot.toolkits.scalar.BackwardFlowAnalysis
- Direct Known Subclasses:
- CombinedDUAnalysis, DownSafetyAnalysis, NotIsolatedAnalysis
- public abstract class BackwardFlowAnalysis
- extends FlowAnalysis
Abstract class that provides the fixed point iteration functionality
required by all BackwardFlowAnalyses.
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 |
BackwardFlowAnalysis
public BackwardFlowAnalysis(DirectedGraph graph)
- Construct the analysis from a DirectedGraph representation of a Body.
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