Uses of Class
soot.EquivalentValue

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.