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.


Fields inherited from class soot.toolkits.scalar.BranchedFlowAnalysis
unitToAfterBranchFlow, unitToAfterFallFlow
 
Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis
graph, unitToBeforeFlow
 
Constructor Summary
ForwardBranchedFlowAnalysis(UnitGraph graph)
           
 
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.BranchedFlowAnalysis
flowThrough, getBranchFlowAfter, getFallFlowAfter, getFlowBefore
 
Methods inherited from class soot.toolkits.scalar.AbstractFlowAnalysis
copy, customizeInitialFlowGraph, entryInitialFlow, getFlowBefore, merge, newInitialFlow, treatTrapHandlersAsEntries
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ForwardBranchedFlowAnalysis

public ForwardBranchedFlowAnalysis(UnitGraph graph)
Method Detail

isForward

protected boolean isForward()
Description copied from class: AbstractFlowAnalysis
Returns true if this analysis is forwards.
Overrides:
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.
Overrides:
doAnalysis in class AbstractFlowAnalysis