soot.jimple.toolkits.infoflow
Class SimpleMethodLocalObjectsAnalysis

java.lang.Object
  soot.toolkits.scalar.AbstractFlowAnalysis<N,A>
      soot.toolkits.scalar.FlowAnalysis<N,A>
          soot.toolkits.scalar.ForwardFlowAnalysis
              soot.jimple.toolkits.infoflow.SimpleMethodInfoFlowAnalysis
                  soot.jimple.toolkits.infoflow.SimpleMethodLocalObjectsAnalysis

public class SimpleMethodLocalObjectsAnalysis
extends SimpleMethodInfoFlowAnalysis

Field Summary

static int

mlocounter

Fields inherited from class soot.jimple.toolkits.infoflow.SimpleMethodInfoFlowAnalysis

counter

Fields inherited from class soot.toolkits.scalar.FlowAnalysis

filterUnitToAfterFlow, unitToAfterFlow

Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis

filterUnitToBeforeFlow, graph, unitToBeforeFlow

Constructor Summary

SimpleMethodLocalObjectsAnalysis(UnitGraph g, CallLocalityContext context, InfoFlowAnalysis dfa)

SimpleMethodLocalObjectsAnalysis(UnitGraph g, ClassLocalObjectsAnalysis cloa, InfoFlowAnalysis dfa)

Method Summary

boolean	isInterestingSink(Value sink)
boolean	isInterestingSource(Value source)
boolean	isObjectLocal(Value local)

Methods inherited from class soot.jimple.toolkits.infoflow.SimpleMethodInfoFlowAnalysis

addToEntryInitialFlow, addToNewInitialFlow, copy, doFlowInsensitiveAnalysis, entryInitialFlow, flowThrough, getMethodInfoFlowSummary, getThisLocal, handleFlowsToDataStructure, handleFlowsToValue, handleInvokeExpr, ignoreThisDataType, isNonRefType, isTrackableSink, isTrackableSource, merge, newInitialFlow

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

Field Detail

mlocounter

public static int mlocounter

Constructor Detail

SimpleMethodLocalObjectsAnalysis

public SimpleMethodLocalObjectsAnalysis(UnitGraph g,
                                        ClassLocalObjectsAnalysis cloa,
                                        InfoFlowAnalysis dfa)

SimpleMethodLocalObjectsAnalysis

public SimpleMethodLocalObjectsAnalysis(UnitGraph g,
                                        CallLocalityContext context,
                                        InfoFlowAnalysis dfa)

Method Detail

isInterestingSource

public boolean isInterestingSource(Value source)

Overrides:

isInterestingSource in class SimpleMethodInfoFlowAnalysis

isInterestingSink

public boolean isInterestingSink(Value sink)

Overrides:

isInterestingSink in class SimpleMethodInfoFlowAnalysis

isObjectLocal

public boolean isObjectLocal(Value local)