Uses of Class
soot.EquivalentValue

Packages that use EquivalentValue

Package	Description
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.

Uses of EquivalentValue in soot.jimple.toolkits.annotation.nullcheck

Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type EquivalentValue

Modifier and Type	Field and Description
protected java.util.List<EquivalentValue>	BranchedRefVarsAnalysis.refTypeInstFieldBases Deprecated.
protected java.util.List<EquivalentValue>	BranchedRefVarsAnalysis.refTypeInstFields Deprecated.
protected java.util.List<EquivalentValue>	BranchedRefVarsAnalysis.refTypeLocals Deprecated.
protected java.util.List<EquivalentValue>	BranchedRefVarsAnalysis.refTypeStaticFields Deprecated.
protected java.util.List<EquivalentValue>	BranchedRefVarsAnalysis.refTypeValues Deprecated.

Methods in soot.jimple.toolkits.annotation.nullcheck that return EquivalentValue

Modifier and Type	Method and Description
EquivalentValue	BranchedRefVarsAnalysis.getEquivalentValue(Value v) Deprecated.
EquivalentValue	RefIntPair.ref() Deprecated.

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type EquivalentValue

Modifier and Type	Method and Description
RefIntPair	BranchedRefVarsAnalysis.getKRefIntPair(EquivalentValue r, int v) Deprecated.
protected int	BranchedRefVarsAnalysis.refInfo(EquivalentValue r, FlowSet fs) Deprecated.

Uses of EquivalentValue in soot.jimple.toolkits.infoflow

Subclasses of EquivalentValue in soot.jimple.toolkits.infoflow

Modifier and Type	Class and Description
class	CachedEquivalentValue An EquivalentValue with cached hash code and equals-relation.

Methods in soot.jimple.toolkits.infoflow that return EquivalentValue

Modifier and Type	Method and Description
static EquivalentValue	InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm, SootField sf) Returns an unmodifiable list of EquivalentValue wrapped Refs that sink flows from when method sm is called.
static EquivalentValue	InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm, SootField sf, Local realLocal)
static EquivalentValue	InfoFlowAnalysis.getNodeForParameterRef(SootMethod sm, int i)
static EquivalentValue	InfoFlowAnalysis.getNodeForReturnRef(SootMethod sm)
static EquivalentValue	InfoFlowAnalysis.getNodeForThisRef(SootMethod sm)

Methods in soot.jimple.toolkits.infoflow that return types with arguments of type EquivalentValue

Modifier and Type	Method and Description
java.util.List<EquivalentValue>	SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
java.util.List<EquivalentValue>	SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)

Methods in soot.jimple.toolkits.infoflow with parameters of type EquivalentValue

Modifier and Type	Method and Description
boolean	CallLocalityContext.containsField(EquivalentValue fieldRef)
protected boolean	ClassLocalObjectsAnalysis.isFieldLocal(EquivalentValue fieldRef)
boolean	CallLocalityContext.isFieldLocal(EquivalentValue fieldRef)
boolean	ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method, EquivalentValue parameterRef)
protected boolean	ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method, EquivalentValue parameterRef, boolean includePrimitiveDataFlowIfAvailable)
void	CallLocalityContext.setFieldLocal(EquivalentValue fieldRef)
void	CallLocalityContext.setFieldShared(EquivalentValue fieldRef)
java.util.List<EquivalentValue>	SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
java.util.List<EquivalentValue>	SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
protected boolean	ClassLocalObjectsAnalysis.thisIsLocal(SootMethod method, EquivalentValue thisRef)

Uses of EquivalentValue in soot.jimple.toolkits.scalar.pre

Methods in soot.jimple.toolkits.scalar.pre that return EquivalentValue

Modifier and Type	Method and Description
static EquivalentValue	SootFilter.equiVal(Value val) wraps a value into a EquivalentValue.