soot.toolkits.scalar

Class ForwardBranchedFlowAnalysis<A>

java.lang.Object

soot.toolkits.scalar.AbstractFlowAnalysis<N,A>

soot.toolkits.scalar.BranchedFlowAnalysis<Unit,A>

soot.toolkits.scalar.ForwardBranchedFlowAnalysis<A>

Direct Known Subclasses:

BranchedRefVarsAnalysis, CastCheckEliminator, NullnessAnalysis

public abstract class ForwardBranchedFlowAnalysis<A>
extends BranchedFlowAnalysis<Unit,A>

Abstract class providing an engine for branched forward flow analysis. WARNING: This does not handle exceptional flow as branches!

Field Summary

Fields inherited from class soot.toolkits.scalar.BranchedFlowAnalysis

unitToAfterBranchFlow, unitToAfterFallFlow

Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

filterUnitToBeforeFlow, graph, unitToBeforeFlow

Constructor Summary

Constructors

Constructor and Description
ForwardBranchedFlowAnalysis(UnitGraph graph)

Method Summary

Modifier and Type	Method and Description
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

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

ForwardBranchedFlowAnalysis

public ForwardBranchedFlowAnalysis(UnitGraph graph)

Method Detail

isForward

protected boolean isForward()

Description copied from class: AbstractFlowAnalysis

Returns true if this analysis is forwards.

Specified by:

isForward in class AbstractFlowAnalysis<Unit,A>

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<Unit,A>