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. 
soot.jimple.toolkits.thread.synchronization   
 

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

Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type EquivalentValue
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeInstFieldBases
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeInstFieldBases
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeInstFields
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeInstFields
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeLocals
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeLocals
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeStaticFields
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeStaticFields
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeValues
          Deprecated.  
protected  List<EquivalentValue> BranchedRefVarsAnalysis.refTypeValues
          Deprecated.  
 

Methods in soot.jimple.toolkits.annotation.nullcheck that return EquivalentValue
 EquivalentValue BranchedRefVarsAnalysis.getEquivalentValue(Value v)
          Deprecated.  
 EquivalentValue BranchedRefVarsAnalysis.getEquivalentValue(Value v)
          Deprecated.  
 EquivalentValue RefIntPair.ref()
          Deprecated.  
 EquivalentValue RefIntPair.ref()
          Deprecated.  
 

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type EquivalentValue
 RefIntPair BranchedRefVarsAnalysis.getKRefIntPair(EquivalentValue r, int v)
          Deprecated.  
 RefIntPair BranchedRefVarsAnalysis.getKRefIntPair(EquivalentValue r, int v)
          Deprecated.  
protected  int BranchedRefVarsAnalysis.refInfo(EquivalentValue r, FlowSet fs)
          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
 class CachedEquivalentValue
          An EquivalentValue with cached hash code and equals-relation.
 

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)
          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.getNodeForFieldRef(SootMethod sm, SootField sf, Local realLocal)
           
static EquivalentValue InfoFlowAnalysis.getNodeForParameterRef(SootMethod sm, int i)
           
static EquivalentValue InfoFlowAnalysis.getNodeForParameterRef(SootMethod sm, int i)
           
static EquivalentValue InfoFlowAnalysis.getNodeForReturnRef(SootMethod sm)
           
static EquivalentValue InfoFlowAnalysis.getNodeForReturnRef(SootMethod sm)
           
static EquivalentValue InfoFlowAnalysis.getNodeForThisRef(SootMethod sm)
           
static EquivalentValue InfoFlowAnalysis.getNodeForThisRef(SootMethod sm)
           
 

Methods in soot.jimple.toolkits.infoflow that return types with arguments of type EquivalentValue
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
           
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
           
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
           
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
           
 

Methods in soot.jimple.toolkits.infoflow with parameters of type EquivalentValue
 boolean CallLocalityContext.containsField(EquivalentValue fieldRef)
           
 boolean CallLocalityContext.containsField(EquivalentValue fieldRef)
           
 boolean CallLocalityContext.isFieldLocal(EquivalentValue fieldRef)
           
protected  boolean ClassLocalObjectsAnalysis.isFieldLocal(EquivalentValue fieldRef)
           
protected  boolean ClassLocalObjectsAnalysis.isFieldLocal(EquivalentValue fieldRef)
           
 boolean CallLocalityContext.isFieldLocal(EquivalentValue fieldRef)
           
 boolean ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method, EquivalentValue parameterRef)
           
 boolean ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method, EquivalentValue parameterRef)
           
protected  boolean ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method, EquivalentValue parameterRef, boolean includePrimitiveDataFlowIfAvailable)
           
protected  boolean ClassLocalObjectsAnalysis.parameterIsLocal(SootMethod method, EquivalentValue parameterRef, boolean includePrimitiveDataFlowIfAvailable)
           
 void CallLocalityContext.setFieldLocal(EquivalentValue fieldRef)
           
 void CallLocalityContext.setFieldLocal(EquivalentValue fieldRef)
           
 void CallLocalityContext.setFieldShared(EquivalentValue fieldRef)
           
 void CallLocalityContext.setFieldShared(EquivalentValue fieldRef)
           
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
           
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sinksOf(EquivalentValue node)
           
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
           
 List<EquivalentValue> SmartMethodInfoFlowAnalysis.sourcesOf(EquivalentValue node)
           
protected  boolean ClassLocalObjectsAnalysis.thisIsLocal(SootMethod method, EquivalentValue thisRef)
           
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
static EquivalentValue SootFilter.equiVal(Value val)
          wraps a value into a EquivalentValue.
static EquivalentValue SootFilter.equiVal(Value val)
          wraps a value into a EquivalentValue.
 

Uses of EquivalentValue in soot.jimple.toolkits.thread.synchronization
 

Methods in soot.jimple.toolkits.thread.synchronization that return EquivalentValue
 EquivalentValue LockableReferenceAnalysis.baseFor(Ref ref)
           
 EquivalentValue LockableReferenceAnalysis.baseFor(Ref ref)
           
 EquivalentValue LockableReferenceAnalysis.indexFor(Ref ref)
           
 EquivalentValue LockableReferenceAnalysis.indexFor(Ref ref)
           
 

Methods in soot.jimple.toolkits.thread.synchronization that return types with arguments of type EquivalentValue
 List<EquivalentValue> LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
           
 List<EquivalentValue> LockableReferenceAnalysis.getLocksetOf(CriticalSectionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
           
 

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type EquivalentValue
static Value LockAllocationBodyTransformer.getLockFor(EquivalentValue lockEqVal)
           
static Value LockAllocationBodyTransformer.getLockFor(EquivalentValue lockEqVal)
           
 

Method parameters in soot.jimple.toolkits.thread.synchronization with type arguments of type EquivalentValue
static String LockAllocator.locksetToLockNumString(List<EquivalentValue> lockset, Map<Value,Integer> lockToLockNum)
           
static String LockAllocator.locksetToLockNumString(List<EquivalentValue> lockset, Map<Value,Integer> lockToLockNum)