Package 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<Unit,FlowSet<Pair<EquivalentValue,EquivalentValue>>>

soot.jimple.toolkits.infoflow.SimpleMethodInfoFlowAnalysis

soot.jimple.toolkits.infoflow.SimpleMethodLocalObjectsAnalysis

public class SimpleMethodLocalObjectsAnalysis
extends SimpleMethodInfoFlowAnalysis

Nested Class Summary

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

FlowAnalysis.Flow

Field Summary

Fields

Modifier and Type	Field	Description
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

Constructors

Constructor	Description
SimpleMethodLocalObjectsAnalysis(UnitGraph g, CallLocalityContext context, InfoFlowAnalysis dfa)
SimpleMethodLocalObjectsAnalysis(UnitGraph g, ClassLocalObjectsAnalysis cloa, InfoFlowAnalysis dfa)

Method Summary

Modifier and Type	Method	Description
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

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

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)