envgen.analysis.stat
Class ForwardFlowAnalysis

java.lang.Object
  |
  +--soot.toolkits.scalar.AbstractFlowAnalysis
        |
        +--soot.toolkits.scalar.FlowAnalysis
              |
              +--envgen.analysis.stat.ForwardFlowAnalysis

Direct Known Subclasses:

PointsToAnalysis, ReadWriteAnalysis, SideEffectsAnalysis

public abstract class ForwardFlowAnalysis

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

unitToAfterFlow

Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

graph, unitToBeforeFlow

Constructor Summary

ForwardFlowAnalysis(soot.toolkits.graph.DirectedGraph graph)
Construct the analysis from a DirectedGraph representation of a Body.

Method Summary

protected void	doAnalysis()
protected boolean	isForward()

Methods inherited from class soot.toolkits.scalar.FlowAnalysis

flowThrough, getFlowAfter

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

ForwardFlowAnalysis

public ForwardFlowAnalysis(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