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

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

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

Method Summary

Modifier and Type	Method and Description
protected java.lang.Object	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

constructWorklist, doAnalysis, isForward

Methods inherited from class soot.toolkits.scalar.FlowAnalysis

constructOrderer, getFlowAfter

Methods inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

getFlowBefore, 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 dg,
                                               SootMethod m,
                                               SideEffectTester st)

Method Detail

newInitialFlow

protected java.lang.Object newInitialFlow()

Description copied from class: AbstractFlowAnalysis

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

Overrides:

newInitialFlow in class SlowAvailableExpressionsAnalysis