Package soot.jimple.toolkits.scalar

Class PessimisticAvailableExpressionsAnalysis

java.lang.Object

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

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

soot.toolkits.scalar.ForwardFlowAnalysis<Unit,FlowSet<Value>>

soot.jimple.toolkits.scalar.SlowAvailableExpressionsAnalysis

soot.jimple.toolkits.scalar.PessimisticAvailableExpressionsAnalysis

public class PessimisticAvailableExpressionsAnalysis
extends SlowAvailableExpressionsAnalysis

Implements an available expressions analysis on local variables. pessimistic analysis - for teaching 621

Nested Class Summary

Nested classes/interfaces inherited from class soot.toolkits.scalar.FlowAnalysis

FlowAnalysis.Flow

Field Summary

Fields inherited from class soot.jimple.toolkits.scalar.SlowAvailableExpressionsAnalysis

emptySet, rhsToContainingStmt, unitToGenerateSet, unitToPreserveSet

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
PessimisticAvailableExpressionsAnalysis(DirectedGraph<Unit> dg, SootMethod m, SideEffectTester st)

Method Summary

Modifier and Type	Method	Description
protected FlowSet<Value>	newInitialFlow()	Returns the flow object corresponding to the initial values for each graph node.

Methods inherited from class soot.jimple.toolkits.scalar.SlowAvailableExpressionsAnalysis

copy, entryInitialFlow, flowThrough, merge

Methods inherited from class soot.toolkits.scalar.ForwardFlowAnalysis

doAnalysis, isForward

Methods inherited from class soot.toolkits.scalar.FlowAnalysis

copyFreshToExisting, getFlow, getFlowAfter, getFlowBefore, omissible

Methods inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

merge, mergeInto, treatTrapHandlersAsEntries

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PessimisticAvailableExpressionsAnalysis

public PessimisticAvailableExpressionsAnalysis(DirectedGraph<Unit> dg,
                                               SootMethod m,
                                               SideEffectTester st)

Method Detail

newInitialFlow

protected FlowSet<Value> newInitialFlow()

Description copied from class: AbstractFlowAnalysis

Returns the flow object corresponding to the initial values for each graph node.

Overrides:

newInitialFlow in class SlowAvailableExpressionsAnalysis