soot.toolkits.scalar
Class BackwardFlowAnalysis

java.lang.Object
  extended bysoot.toolkits.scalar.AbstractFlowAnalysis
      extended bysoot.toolkits.scalar.FlowAnalysis
          extended bysoot.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.


Field Summary
 
Fields inherited from class soot.toolkits.scalar.FlowAnalysis
filterUnitToAfterFlow, unitToAfterFlow
 
Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis
filterUnitToBeforeFlow, graph, unitToBeforeFlow
 
Constructor Summary
BackwardFlowAnalysis(DirectedGraph graph)
          Construct the analysis from a DirectedGraph representation of a Body.
 
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 soot.toolkits.scalar.FlowAnalysis
flowThrough, getFlowAfter
 
Methods inherited from class soot.toolkits.scalar.AbstractFlowAnalysis
copy, customizeInitialFlowGraph, entryInitialFlow, getFlowBefore, merge, merge, newInitialFlow, treatTrapHandlersAsEntries
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BackwardFlowAnalysis

public BackwardFlowAnalysis(DirectedGraph graph)
Construct the analysis from a DirectedGraph representation of a Body.

Method Detail

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