|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EquivalentValue | |
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 |
Methods in soot.jimple.toolkits.annotation.nullcheck that return EquivalentValue | |
EquivalentValue |
BranchedRefVarsAnalysis.getEquivalentValue(Value v)
Deprecated. |
EquivalentValue |
RefIntPair.ref()
|
Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type EquivalentValue | |
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 |
Methods in soot.jimple.toolkits.infoflow that return EquivalentValue | |
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 with parameters of type EquivalentValue | |
void |
CallLocalityContext.setFieldLocal(EquivalentValue fieldRef)
|
void |
CallLocalityContext.setFieldShared(EquivalentValue fieldRef)
|
boolean |
CallLocalityContext.isFieldLocal(EquivalentValue fieldRef)
|
boolean |
CallLocalityContext.containsField(EquivalentValue fieldRef)
|
protected boolean |
ClassLocalObjectsAnalysis.isFieldLocal(EquivalentValue fieldRef)
|
boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef)
|
protected boolean |
ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method,
EquivalentValue parameterRef,
boolean includePrimitiveDataFlowIfAvailable)
|
protected boolean |
ClassLocalObjectsAnalysis.thisIsLocal(SootMethod method,
EquivalentValue thisRef)
|
List |
SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
|
List |
SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
|
Uses of EquivalentValue in soot.jimple.toolkits.scalar.pre |
Methods in soot.jimple.toolkits.scalar.pre that return EquivalentValue | |
static EquivalentValue |
SootFilter.equiVal(Value val)
wraps a value into a EquivalentValue. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |