|
|||||||||||
| 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 | ||||||||||