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

PessimisticAvailableExpressionsAnalysis(DirectedGraph dg, SootMethod m, SideEffectTester st)

Method Summary

protected 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 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