Class FastForwardFlowAnalysis


  • public abstract class FastForwardFlowAnalysis
    extends soot.toolkits.scalar.FlowAnalysis
    Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.
    • 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

      Constructors 
      Constructor Description
      FastForwardFlowAnalysis​(soot.toolkits.graph.DirectedGraph graph)
      Construct the analysis from a DirectedGraph representation of a Body.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void doAnalysis()  
      protected boolean isForward()  
      • Methods inherited from class soot.toolkits.scalar.FlowAnalysis

        afterFlowThrough, beforeFlowThrough, constructOrderer, flowThrough, getFlowAfter, getFlowInfo
      • Methods inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

        copy, entryInitialFlow, getFlowBefore, merge, merge, mergeInto, newInitialFlow, treatTrapHandlersAsEntries
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • FastForwardFlowAnalysis

        public FastForwardFlowAnalysis​(soot.toolkits.graph.DirectedGraph graph)
        Construct the analysis from a DirectedGraph representation of a Body.
    • Method Detail

      • isForward

        protected boolean isForward()
        Specified by:
        isForward in class soot.toolkits.scalar.AbstractFlowAnalysis
      • doAnalysis

        protected void doAnalysis()
        Specified by:
        doAnalysis in class soot.toolkits.scalar.AbstractFlowAnalysis