|
|||||||||||
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.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)
|
EquivalentValue |
RefIntPair.ref()
|
Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type EquivalentValue | |
RefIntPair |
BranchedRefVarsAnalysis.getKRefIntPair(EquivalentValue r,
int v)
|
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
|
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 |