sootup.analysis.intraprocedural.BackwardFlowAnalysis<A>

public abstract class BackwardFlowAnalysis<A> extends FlowAnalysis<A>

Nested Class Summary

Nested classes/interfaces inherited from class sootup.analysis.intraprocedural.FlowAnalysis
FlowAnalysis.Flow
Field Summary

Fields inherited from class sootup.analysis.intraprocedural.FlowAnalysis
filterStmtToAfterFlow, stmtToAfterFlow

Fields inherited from class sootup.analysis.intraprocedural.AbstractFlowAnalysis
graph, stmtToBeforeFlow
Constructor Summary

Constructors

Constructor

Description

BackwardFlowAnalysis(StmtGraph<B> graph)

Construct the analysis from StmtGraph.
Method Summary

Modifier and Type

Method

Description

protected void

execute()

Carries out the actual flow analysis.

protected boolean

isForward()

Returns true if this analysis is forwards.

Methods inherited from class sootup.analysis.intraprocedural.FlowAnalysis
flowThrough, getFlow, getFlowAfter, getFlowBefore, omissible

Methods inherited from class sootup.analysis.intraprocedural.AbstractFlowAnalysis
copy, entryInitialFlow, merge, merge, mergeInto, newInitialFlow, treatTrapHandlersAsEntries

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Class BackwardFlowAnalysis<A>

Nested Class Summary