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

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

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

Methods in soot.jimple.toolkits.thread.transaction that return types with arguments of type EquivalentValue
 List<EquivalentValue> LocksetAnalysis.getLocksetOf(TransactionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.transaction.Transaction tn)
           
 List<EquivalentValue> LocksetAnalysis.getLocksetOf(TransactionAwareSideEffectAnalysis tasea, RWSet contributingRWSet, soot.jimple.toolkits.thread.transaction.Transaction tn)
           
 

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

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